====== 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 [[https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/ | post]]

  * Reaping without sowing (cosechar sin sembrar). Tobias Osborne. 02/08/26 [[https://tjoresearchnotes.wordpress.com/2026/08/02/reaping-without-sowing/ | post]]

  * The crisis of AI-generated mathematics. Max Weinreich. 03/08/26 [[https://arxiv.org/abs/2608.02859 | arXiv]]

  * The End of Mathematics. Daniel Litt. 11/08/26 [[https://www.daniellitt.com/blog/2026/8/11/the-end-of-mathematics/ | post]]

  * Mathematics in the Age of AI. Terence Tao. 17/08/26 [[https://www.youtube.com/watch?v=M0--ZH1lOzg | ICM 2026 Conference]] [[https://arxiv.org/abs/2608.16753 | arXiv]]

  * Proofs and Prompts. [[https://proofsandprompts.com/all-posts/ | web]]. A communal blog for mathematicians thoughts on how AI is changing what it means to do mathematics.

===== Discussion Panels =====

  * AI in Mathematical Research. Michael Harris, Peter Scholze, Jacob Tsimerman and Geordie Williamson. Heidelberg Laureate Forum. 15/09/26. [[https://www.youtube.com/watch?v=H7_d_sgui6o | Youtube]].

===== Declarations =====

  * Declaración de Montevideo sobre Inteligencia Artificial y su impacto en América Latina. [[https://khipu.ai/ | Khipu]] Conference. 10/03/23 [[https://zenodo.org/record/8208793 | Declaration]]

  * Leiden Declaration. 02/06/26. [[https://leidendeclaration.ai/ | web]] [[https://en.wikipedia.org/wiki/Leiden_Declaration_on_Artificial_Intelligence_and_Mathematics | Wikipedia]]

  * A Severe Misalignment of AI in Mathematics. 11/09/26. [[https://mathandai.org/ | Declaration]].

===== Advise on using AI =====

  * Use of AI in mathematical research: A guide for young mathematicians. Pavel Etingof (May 2026, updated September 2026). [[https://math.mit.edu/~etingof/aiuse.pdf | pdf]]

===== Milestones of LLM's "solving" Math problems =====

  * Counterexample to the Erdős unit distance conjecture. OpenAI. 20/05/26 [[https://openai.com/index/model-disproves-discrete-geometry-conjecture/ | 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 [[https://theconversation.com/hello-there-the-jacobian-conjecture-is-false-thanx-why-a-tiny-social-media-post-has-mathematicians-rethinking-ai-283883 | post]]

  * Ten advances in mathematics. OpenAI. 01/08/26 [[https://openai.com/index/ten-advances-in-mathematics/ | post]]

  * OpenAI releases 719 mathematical manuscripts with proofs produced by an internal frontier model, some of them verified by Lean. 06/10/26. [[ https://github.com/openai/math | Github]], [[ https://openai.com/index/sharing-ai-progress-in-mathematics/ | post]].