Roundup
On August 1, 2026, OpenAI published “Ten advances in mathematics and theoretical computer science,” framing a roundup of results on problems that — in OpenAI’s account — had seen no progress on the main claim for at least a decade. The primary post lives on OpenAI’s index; Google News also surfaces the same OpenAI item for readers who hit Cloudflare or mirror delays.
What we are (and aren’t) summarizing
We are not reprinting OpenAI’s full list of ten advances here as settled theorems. Secondary coverage (including Simon Willison’s link roundup and MLQ’s peer-review caveat) notes an accompanying PDF, Lean 4 formalizations in the openai/ten-proofs repository, and ongoing community scrutiny. Treat the primary OpenAI post and the Lean repo as the checklist for what was claimed and what was machine-checked — not this brief as a substitute for either.
For tool buyers and research leads, the news value is less “ten solved problems” and more that frontier labs are publishing math/TCS claims with machine-checkable artifacts attached — a different posture than blog-only demos. Start at the primary OpenAI URL below; if that path is blocked, the Google News cluster for the same title still points back to OpenAI as the source.
Primary and mirrors
- OpenAI — Ten advances in mathematics… — Primary announcement (index path used by openai/ten-proofs)
- Google News — same OpenAI title — RSS cluster if the index URL is unreachable
- openai/ten-proofs (Lean 4) — Formalization repo