Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
Will it be a golden age or a dark age for mathematics (and science)?
In a guest post on Terence Tao's blog, mathematician Francesco Maggi weighs whether LLM-based research systems will bring a golden or dark age for mathematics and science, and calls for standards for LLM-generated scholarship, study of effects on education and training, and publicly governed LLM infrastructure, while urging mathematicians to keep mathematics a living part of human culture.
15 min · 3,378 words
Ben Recht looks at the result in OpenAI's math repository claiming to compute Fourier transforms faster than the FFT, with tutorial material on the FFT and computational complexity, and argues it is less a breakthrough than an exploit of theoretical computer science's habit of proving galactic algorithms that never run on a computer.
8 min · 1,732 words
Ray Myers argues mathematicians are not Luddites: AI-assisted math, built on tools like the Lean prover and the Lean FRO, had natural synergy that researchers embraced, but in his view OpenAI's hype and conduct broke the community's trust. He walks through a timeline from 2014 to October 2026 and draws parallels to how AI companies treat software engineers.
20 min · 4,573 words
100+ reactions to 100+ solutions
Proofs and Prompts collects more than a hundred short, signed reactions from mathematicians to OpenAI's 6 October 2026 release of AI-generated solutions to open problems, ranging from astonishment and problem-specific comments to worries about verification, research culture and students.
69 min · 15,879 words
Keep Calm and Prove On(Some of) Math is Solved!
Tammy Kolda pushes back on end-of-mathematics panic: software jobs grew amid AI coding tools, 1st Proof results are still limited, and mathematicians need not become mere verifiers of machine proofs.
4 min · 890 wordsagent-assisted
A Severe Misalignment of AI in Mathematics
Twenty-five Fields Medallists, including Terence Tao, argue AI labs' rush to solve math benchmarks is misaligned with mathematics' real goal: understanding, attribution, and human transmission.
4 min · 1,018 words