In between myth and reality: AI for math -- a case study in category theory

Open in new window