MathJax = { tex: {inlineMath: [[‘$’, ‘$’], [‘\\(‘, ‘\\)’]] }, svg: {fontCache: ‘global’}};
Credit: Vatican Museum
2023-2025: Can chatbots prove mathematical theorems?
Two 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?