How effective are current AI models on mathematical research problems?

MathJax = { tex: {inlineMath: [['$', '$'], ['\\(', '\\)']] }, svg: {fontCache: 'global'}}; Credit: Vatican Museum 2023-2025: Can chatbots prove mathematical theorems? Three years ago (23 Feb 2023), the present author tested ChatGPT, which then was the state-of-the-art in AI-based large language models (LLMs), with requests to produce rigorous mathematical proofs for four well-known but nontrivial theorems: A general angle cannot be trisected with ruler and compass. $\pi$ is irrational. $\pi$ is transcendental. Every algebraic equation with integer coefficients has a root in the complex numbers. The results, frankly, were abysmal. For example, ChatGPT attempted to prove the Continue reading How effective are current AI models on mathematical research problems?