Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
Working with academic communities to build scientific understanding
OpenAI announces AI-produced results in harmonic analysis (local smoothing and Kakeya in all dimensions), complexity theory (a claimed refutation of the Exponential Time Hypothesis) and quantum field theory (existence of QCD), and describes external expert-led collaborations to verify and explain them.
8 min · 1,739 words
oai-math-revised: a community hub for revising OpenAI’s math write-ups
A guest post on Terence Tao's blog by Abhinav Nellore, Johannes Schmitt, Soledad Villar and Rachel Ward announcing oai-math-revised, an open community GitHub effort to make OpenAI's published math write-ups easier to understand and better cited, and inviting mathematicians at every level to contribute and review.
1 min · 111 words
In a guest post on Terence Tao's blog, mathematician Shaoming Guo says he and colleagues are preparing a new open-access math journal that prioritises understanding over priority, and invites the community to discuss what journals should reward, how papers are evaluated, and how new tools could reshape mathematical publishing.
1 min · 325 words
Simons Foundation Launches $15M Effort To Help Mathematicians Navigate AI Era
The Simons Foundation, Anthropic and OpenAI commit $15 million in combined funding and resources to help the mathematics community adapt to AI. The foundation will run an open call for workshops and initiatives on evaluating AI-assisted results, learning new tools and setting shared standards, while the two labs provide AI tools and compute to supported researchers.
1 min · 314 words
Lean Now Ships with Verified Kernels
Leonardo de Moura explains how Lean v4.35 hardens proof checking after AI-found kernel soundness bugs: a sandboxed `lake check` that rechecks developments with the official kernel, four additional independent kernels, and the scaling challenges ahead for multi-million-line proof libraries.
3 min · 708 words
Sharing AI progress in mathematics
OpenAI releases a broad set of new mathematical results from an internal frontier model in a GitHub repository, with Lean formalizations of many proofs, reasoning summaries and compute estimates (about three hours of ChatGPT Pro thinking per result), following guidance from the IAS advisory group on mathematics and AI.
2 min · 353 words
Announcing the Advisory Group on Mathematics and Artificial Intelligence
Nine leading mathematicians announce an independent IAS-hosted advisory group to counsel AI labs on releasing math results—starting with OpenAI’s claim of 100+ solved open problems—and invite community input.
2 min · 378 words
SAIR's Open Math Model initiative
Terence Tao announces SAIR's accelerated push for community-governed open-weight math models and tooling, seeking partners for funding, compute, expertise, and governance.
3 min · 802 words