User Tools

Site Tools


ia_math

This is an old revision of the document!


Matemática e Inteligencia Artificial

Sobre la generalización del uso del Lenguaje Natural y los LLM (Large Language Model) en la Matemática.

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. 10/03/23 Zenodo

"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.1789477225.txt.gz · Last modified: by mvaldes