Community curated by people like you

Mathematical proof generation stories

Aug 2, 2026

OpenAI's Astra solves 10 long-open math problems and publishes proofs

OpenAI revealed that an internal version of Astra, its advanced AI model, has solved 10 previously unsolved mathematical problems and published the proofs. This represents a significant milestone in AI's ability to tackle complex mathematical research.

Aug 2, 2026·1 source

00

Top claims

▪OpenAI research scientist Noam Brown called the results "a major step for scientific reasoning."
▪The model also solved three problems from Paul Erdős’s catalog, including problem 183 on multicolor Ramsey numbers
▪In October 2025, OpenAI's then vice president of science, Kevin Weil, falsely claimed GPT-5 had solved 10 unsolved Erdős problems

Subtopics

AGI benchmarks & milestone tracking1 AI math benchmarks1 AI research & benchmarks1 Large language models (LLMs)1 OpenAI1

Related timelines

Congress

Payments

Russia-Ukraine war

Trump administration

US health policy & drug pricing