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

Răzvan Diaconescu
4/17/2025
cs.AImath.HOmath.LO

No confident code implementation found for this paper.

Abstract

Recently, there is an increasing interest in understanding the performance of AI systems in solving math problems. A multitude of tests have been performed, with mixed conclusions. In this paper we discuss an experiment we have made in the direction of mathematical research, with two of the most prominent contemporary AI systems. One of the objective of this experiment is to get an understanding of how AI systems can assist mathematical research. Another objective is to support the AI systems developers by formulating suggestions for directions of improvement.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

First Proof Second Batch

80% match2026

Parmesan: mathematical concept extraction for education

79% match2023

Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI

79% match2024

On the mechanical creation of mathematical concepts

78% match2025

Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical Problems

77% match1 repo132024

AI for Mathematics: A Cognitive Science Perspective

77% match2023

Cite this paper

@article{diaconescu2025between,
  title  = {In between myth and reality: AI for math -- a case study in category theory},
  author = {Răzvan Diaconescu},
  year   = {2025},
  eprint = {2504.13360},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2504.13360v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2504.13360.svg)](https://codeofpaper.com/paper/2504.13360)

Discussion