🔗
learn-lean — les mathématiques du secondaire, démontrées en Lean (lean.commutator.io)
Les mathématiques du secondaire français, démontrées en Lean. ~ Michel Hua. lean.commutator.io
#ai4math
FormaTheoria: Constructing Large-Scale Lean Theories from Mathematical Literature $-$ Toward the Formalization of the Classification of Finite Simple Groups (arxiv.org)
FormaTheoria: Constructing large-scale lean theories from mathematical literature (Toward the formalization of the classification of finite simple groups). ~ Tianjiao Nie, Ao Zhang, Yusen Tang, Damiano Testa, Shing-Tung Yau, Peng Li, Yuan Zhou. arxiv.org/abs/2608.108...
🔗
Writing mathematics in the age of AI. ~ Main Hairer. proofsandprompts.com/2026/08/07/w... (proofsandprompts.com)
🔗
The question of reasoning traces. ~ Segev Gonen Cohen. proofsandprompts.com/2026/08/11/t... (proofsandprompts.com)
🔗
The Path to Mathematical Superintelligence | Tudor Achim | TED (youtu.be)
The path to mathematical superintelligence. ~ Tudor Achim. youtu.be/HSxytYCWVow
Banach lattices and phase retrieval: A case study for the use of AI in mathematics (arxiv.org)
Banach lattices and phase retrieval: A case study for the use of AI in mathematics. ~ Jaume de Dios Pont, Lukas Liehr, David Muñoz-Lahoz, Mitchell A. Taylor, Pedro Tradacete. arxiv.org/abs/2608.073...