User Tools

Site Tools


ia_math

This is an old revision of the document!


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

Declarations

  • Declaración de Montevideo sobre Inteligencia Artificial y su impacto en América Latina. Khipu Conference. 10/03/23 Zenodo
  • A Severe Misalignment of AI in Mathematics. 11/09/26. Declaration.

"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