In between myth and reality: AI for math -- a case study in category theory
By: Răzvan Diaconescu
Potential Business Impact:
AI helps scientists solve hard math problems.
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.
Similar Papers
AI Mathematician as a Partner in Advancing Mathematical Discovery -- A Case Study in Homogenization Theory
Artificial Intelligence
AI helps mathematicians discover new math.
The Mathematician's Assistant: Integrating AI into Research Practice
History and Overview
AI helps math experts solve harder problems.
From Recall to Reasoning: Automated Question Generation for Deeper Math Learning through Large Language Models
Artificial Intelligence
Helps teachers make better math problems with AI.