In between myth and reality: AI for math -- a case study in category theory
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910913953529856 |
|---|---|
| author | Diaconescu, Răzvan |
| author_facet | Diaconescu, Răzvan |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_13360 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | In between myth and reality: AI for math -- a case study in category theory Diaconescu, Răzvan Artificial Intelligence History and Overview Logic 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. |
| title | In between myth and reality: AI for math -- a case study in category theory |
| topic | Artificial Intelligence History and Overview Logic |
| url | https://arxiv.org/abs/2504.13360 |