====== 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]] ===== 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]]. ===== "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: 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 [[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]]