Math and Artificial Intelligence

About the generalization of the use of Natural Language and LLM's (Large Language Models) in Math.

• 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

• Proofs and Prompts. web. A communal blog for mathematicians thoughts on how AI is changing what it means to do mathematics.

• AI in Mathematical Research. Michael Harris, Peter Scholze, Jacob Tsimerman and Geordie Williamson. Heidelberg Laureate Forum. 15/09/26. Youtube.

• Declaración de Montevideo sobre Inteligencia Artificial y su impacto en América Latina. Khipu Conference. 10/03/23 Declaration

• Leiden Declaration. 02/06/26. web Wikipedia

• A Severe Misalignment of AI in Mathematics. 11/09/26. Declaration.

• Use of AI in mathematical research: A guide for young mathematicians. Pavel Etingof (May 2026, updated September 2026). pdf

• Counterexample to the Erdős unit distance conjecture. OpenAI. 20/05/26 post

• Conjetura del Jacobiano: 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

• OpenAI releases 719 mathematical manuscripts with proofs produced by an internal frontier model, some of them verified by Lean. 06/10/26. Github, post.