ia_math
This is an old revision of the document!
Table of Contents
Math and Artificial Intelligence
About the generalization of the use of Natural Language and LLM's (Large Language Models) in Math.
Essays
- Thoughts about the Leiden Declaration. Timothy Gowers. 26/07/26 post
- Reaping without sowing (cosechar sin sembrar). Tobias Osborne. 02/08/26 post
- The crisis of AI-generated mathematics. Max Weinreich. 03/08/26 arXiv
- The End of Mathematics. Daniel Litt. 11/08/26 post
- Mathematics in the Age of AI. Terence Tao. 17/08/26 ICM 2026 Conference arXiv
Declarations
"Milestones" of LLM's "solving" Math problems
- Counterexample to the Erdős unit distance conjecture. OpenAI. 20/05/26 post
- Conjetura del Jacobiano: un siglo después de planteada, el modelo Claude Fable 5 de Anthropic obtuvo un contraejemplo para 3 o más variables (queda pendiente el caso de 2 variables). 19/07/26 post
- Ten advances in mathematics. OpenAI. 01/08/26 post
ia_math.1789477455.txt.gz · Last modified: by mvaldes
