Reseña de «Can AI truly prove anything?» jaalonso.github.io/vestigium/po... #AI4Math

Can AI truly prove anything? ~ Stepan Nesterov. proofsandprompts.com/2026/09/29/c... #AI4Math

Sage: Formalization with semantic correction. ~ Thomas Hirtz, Farzad Jafarrahmani, Abdelmouksit Sagueni, Xiang Zhou, Wengping Deng, Liang Zhang. arxiv.org/abs/2609.35790 #LeanProver #ITP #AI4Math

A constructive ATLAS of finite simple groups in Lean. ~ Gerald Höhn. arxiv.org/abs/2609.35847 #LeanProver #ITP #AI4Math

Reseña de «Responsible release of AI-generated mathematics». jaalonso.github.io/vestigium/po... #AI4Math

Responsible release of AI-generated mathematics. ~ Advisory Group on Mathematics and Artificial Intelligence. agmai.org/general-sep29/ #AI4Math

Reseña de «Applied mathematics has met the machine before». jaalonso.github.io/vestigium/po... #AI4Math

Applied mathematics has met the machine before. ~ Denys Dutykh. proofsandprompts.com/2026/09/28/a... #AI4Math

zazbrown.com/research/pap... #Math #AI4Math #LeanProver

Formalization of Langlands’s first main lemma for local epsilon factors. ~ Fukuhiro Ueda. hal.science/hal-05746185... #LeanProver #ITP #AI4Math

#Vestigium: Formalización del libro "Calculus" de Spivak en Lean 4. jaalonso.github.io/vestigium/po... #LeanProver #ITP #AI4Math

Lean 4 formalization of Michael Spivak's "Calculus" (covering both the 3rd and 4th editions). ~ Jon-Erik G. Storm. github.com/stormj-UH/sp... #LeanProver #ITP #AI4Math

Summit on PhD math education in the age of AI. cmsa.fas.harvard.edu/aimathphd_su... #AI4Math

All the math we will not see. ~ Alessandro Della Corte. proofsandprompts.com/2026/09/24/a... #AI4Math

Formalization of Harder-Narasimhan theory. ~ Yijun Yuan. arxiv.org/abs/2509.19632 #LeanProver #ITP #AI4Math

Gödel's and Scott's variants of the ontological argument in Lean 4. ~ Christoph Benzmüller. arxiv.org/abs/2609.268... #LeanProver #ITP #AI4Math

AI and mathematical research. ~ Claudia Alfes, Thomas Nikolaus, Andreas Thom. ai.math.ms/en/research/ #AI4Math

Navigating the AI crisis: a humble guide for students. ~ Tarik Aougab. proofsandprompts.com/2026/09/23/n... #AI4Math

#Vestigium: Lista de usos y expectativas de la IA en matemáticas. jaalonso.github.io/vestigium/po... #AI4Math

New math + AI developments in fluid mechanics. ~ Javier Gomez-Serrano. youtu.be/TcEefrWrddA #AI4Math