ProofForum: Keeping AI-generated mathematics human. ~ Marco Trombetti. proofsandprompts.com/2026/09/22/p... #AI4Math

El miedo al lado oscuro de la IA en la comunidad matemática. ~ Anabel Forte Deltell. theconversation.com/el-miedo-al-... #AI4Math

Verifying numerical methods with Isabelle/HOL. ~ Dustin Bryant, Jonathan Julian Huerta y Munive, Simon Foster. arxiv.org/abs/2511.20550 #IsabelleHOL #ITP #AI4Math

¿Realmente ha resuelto OpenAI el "problema matemático del milenio" de Navier-Stokes? ~ Víctor Javier Llorente Lázaro. theconversation.com/realmente-ha... #AI4Math

The scientific debate over AI in mathematics. ~ Oswaldo Royett. www.oswaldosrm.com/single-post/... #AI4Math

Readings shared: 14-20 September, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math #RocqProver

Lean-certified infinite counterexamples to written on the Wall II Conjecture 194. ~ Cameron Beeley. arxiv.org/abs/2609.191... #LeanProver #ITP #AI4Math

Descriptive complexity in Lean: completeness by first-order reductions. ~ Pierre Senellart, Anton Gnatenko. arxiv.org/abs/2609.182... #LeanProver #ITP #AI4Math

Where will all the papers go? ~ David Craven. proofsandprompts.com/2026/09/19/w... #AI4Math

Existential risk from AI: an exposition for mathematicians. ~ Xiaoyu He. alkjash.github.io/ai-risk/ #AI4Math

Two responses to "A severe misalignment of AI in mathematics". ~ Timothy Nguyen, M. Levent Doğan. proofsandprompts.com/2026/09/18/t... #AI4Math

Formalization of Sullivan's no wandering domains theorem in Lean. ~ Ziang Li, Yusheng Luo. arxiv.org/abs/2609.160... #LeanProver #ITP #AI4Math

Building open models for the mathematical community (An invitation from SAIR Foundation). sair.foundation/open-math-mo... #AI4Math

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