Strogatz and Townsend discuss AI and big math in new book
The Ars interview covers large-scale computation, language-model scale, and math that exceeds unaided human calculation.
1
Stories per day · 30 days
6 RSS
Relatedopenai5book2history2lean2physics2autoformalization1busy-beaver1chain-of-thought1clay-mathematics-institute1computability1computer-proof1disclosure1efficiency1equivalence-checking1exponential-time-hypothesis1formal-verification1four-color-theorem1hacker-news1
48 stories, newest first · one card per story
Stories tagged #mathematics
Altman says OpenAI will keep releasing AI math results
He says OpenAI holds more proofs than the hundreds already released and spent on the order of hundreds of millions of dollars.
Researchers fault OpenAI for limiting access to claimed breakthroughs
OpenAI released an AI math write-up on Kakeya, will explain a computer-science claim through outsiders, and has not released the physics result.
1
OpenAI posts claimed math, computing, and physics breakthroughs
Outside groups will examine an ETH refutation and a QCD proof, while the math write-up is released unverified.
1
SemantEq checks faithful Lean 4 statement equivalence
A model-free search hits 100% precision and 65.6% recall; proof auditing accepts none of 104 non-equivalent pairs.
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
Mathematicians dispute OpenAI's Navier-Stokes Lean proof, saying it differs from the cited approach and agent credit is unclear.
4
Why are we even doing all this?
Physicist Rikab Gambhir's satirical essay on Terence Tao's blog mocks OpenAI's mass generation of unverifiable mathematical papers as marketing hype.
CoTranslator: Reverse to Forward Chain-of-Thought Translator for Reasoning Distillation
CoTranslator turns reverse chain-of-thought into verified forward traces, cutting distillation compute while keeping most math accuracy.
LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification
LeanPRM uses Lean to auto-label 152K proof steps, lifting a Qwen3-4B verifier's step accuracy from 48.2 to 74.7.
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
DeepMind's AlphaProof Nexus, built on Gemini 3.1 Pro, solved long-open math problems in a peer-reviewed Science study.
Terence Tao: Math 2.0 [pdf]
Terence Tao shared Caltech 2026 slides titled Math 2.0, posted to Hacker News.
"How much beauty have we lost?" Mathematicians react with shock and disgust as OpenAI bulldozes their field
OpenAI released over 700 manuscripts claiming solutions to hundreds of open math problems, shocking leading mathematicians.
14
OpenAI mistranslated mathematics into code for its Navier-Stokes proof
New Scientist says OpenAI mistranslated math into code for its Navier-Stokes proof.
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
OpenAI dropped nearly 400 AI-generated math results in 700-plus manuscripts, many still unverified.
7
SqueezeBench: Saturation-Resilient Evaluation of Mathematical Capability
SqueezeBench forces math submissions to strictly improve certified bounds instead of saturating fixed problems.
Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field
Mathematicians including Terence Tao urge an OpenAI boycott after hundreds of AI proofs flood the field.
16
OpenAI’s math solutions aren’t meeting the field’s standards yet
Mathematicians say OpenAI's hundreds of claimed hard-problem proofs miss standards for human understanding.
4
AI-assisted proof of optimal packing for 11 squares
A GitHub project presents an AI-assisted formal proof of optimal packing for 11 equal squares.
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI published 372 AI-generated math proofs on GitHub, including Lean formalizations and claimed progress on open problems.
7
[AINews] Quasi-Riemann-Hypothesis: OpenAI publishes 722 math papers solving 90 of the top 500 open math problems; “the most significant moment” in >100 years of mathematics
OpenAI published 722 math manuscripts from an unreleased model, claiming progress on many open problems including a quasi-Riemann result.
5
OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
OpenAI published about 700 mathematical preprints of proofs and counterexamples on GitHub.
OpenAI drops another batch of mathematical breakthroughs
OpenAI published 722 manuscripts claiming an unreleased model solved hundreds of open mathematics problems.
4
Mathematical manuscripts and supporting proof artifacts produced by OpenAI
OpenAI published mathematical manuscripts and supporting proof artifacts on GitHub.
All the drama around AI’s takeover of mathematics
OpenAI's claimed math breakthroughs, including a Millennium Prize problem, drew backlash over academic norms.
1