3 ms·In between myth and reality: AI for math – a case study in category theory1 points by belter 2y ago