SOLVED: Navier-Stokes cracked by AI. | Numberphile ~ Tony Padilla. youtu.be/3geDF-DAwpg #AI4Math

A CERN for AI-assisted science? ~ Dimitris Koukoulopoulos. terrytao.wordpress.com/2026/09/17/a... #AI4Math

Fast math/slow math. ~ Benjamin Antieau. antieau.github.io/2026/09/15/f... #AI4Math

AI and human approaches to mathematical problem solving. ~ Yang Ding. arxiv.org/abs/2609.177... #AI4Math

Awesome AI proofs (A curated list of mathematical proofs generated by artificial intelligent systems, verified by automated theorem prover, and a list of successes and mishaps). ~ Subhrajyoty Roy, Subrata Pal. github.com/subroy13/awe... #AI4Math

Why I didn’t sign the Fields medallists’ letter. ~ Tim Gowers. gowers.wordpress.com/2026/09/17/w... #AI4Math

Mechanizing Gödel's incompleteness theorems and provability logic. ~ Shogo Saitou, Mashu Noguchi. arxiv.org/abs/2609.13780 #LeanProver #ITP #AI4Math

When inventing is not enough. ~ Lisa Valentini. proofsandprompts.com/2026/09/15/w... #AI4Math

Stable singularity of the Euler equations on ℝ³. ~ Adarsh Ganeshram, Valentin Duruisseaux, Anima Anandkumar. arxiv.org/abs/2609.108... #AI4Math #LeanProver #ITP

A machine-checked proof of the Dong-Yang classification of optimal (n,4) binary codes for BSCs. ~ Shenghao Yang, Yanyan Dong. arxiv.org/abs/2609.105... #LeanProver #ITP #AI4Math

Happy, those able to know the causes of things (An essay on LLMs and the Navier-Stokes equation). ~ Nestor Guillen. birdsnfrogs.github.io/2026/09/12/F... #AI4Math

A beginning for mathematics. ~ Daniel Litt. proofsandprompts.com/2026/09/14/a... #AI4Math

Readings shared: 7-13 September, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #ITP #IsabelleHOL #LeanProver #LeanProver#ITP #Logic #Math

Navier-Stokes and Lean. ~ Lance Fortnow. blog.computationalcomplexity.org/2026/09/navi... #LeanProver #AI4Math

On the existence of non-sofic groups. ~ Andreas Thom. terrytao.wordpress.com/2026/09/11/o... #AI4Math

On the impact of AI on the mathematical practice. ~ Manuel Rivera. proofsandprompts.com/2026/09/12/o... #AI4Math

The Association for Human Mathematics (AHM). ~ AHM communications group. proofsandprompts.com/2026/09/12/t... #AI4Math

What Lean checked and Astra didn't: two kinds of verification, one week apart. ~ Scott J. McCormick. www.researchgate.net/publication/... #AI4Math

AI software completes a formal proof of Fermat’s Last Theorem. ~ David H Bailey. mathscholar.org/2026/09/ai-s... #AI4Math

A 50-year-old computer-assisted proof. ~ John D. Cook. www.johndcook.com/blog/2026/09... #AI4Math