OpenAI's Astra Solved 10 Open Math Problems for $2,000
- On Aug 01, 2026, OpenAI published work on its new model family Astra, which produced results on ten mathematical problems that specialists had not advanced in at least a decade.
- The announcement follows an 80-year-old problem solved earlier this year by the same model family; each of the ten new problems had remained open for at least ten years and sit at the center of their subfields.
- Astra's results were formalized in Lean, a proof assistant verifying mathematical arguments step by step, and anyone can download certificate files from GitHub to independently verify the work.
- OpenAI spent $2,000 on API calls for successful runs, though critics question if the ten problems were 'cherry-picked'; the certificates verify regardless of the selection method.
- Thomas Bloom called the results 'big news,' while researcher Noam Brown added, 'Sadly, no Millennium Prize Problems ,' and Gary Marcus argued the release is 'oversold.
16 Articles
16 Articles
OpenAI's Astra Solved 10 Open Math Problems for $2,000
OpenAI spent the past week doing two things at once. Sam Altman demonstrated an unreleased model to politicians and regulators in Washington. Then the company published a report showing that same model had solved ten mathematics problems nobody had cracked in over a decade. The model is called Astra. The report is the first time OpenAI has confirmed the name. What the model actually proved The ten results span high-dimensional geometry, coding t…
OpenAI says IA Astra solved 10 open math and theoretical computing problems. Evidence was formalized in Lean, but without peer review.
OpenAI revealed details about the Astra, its new artificial intelligence project developed to solve complex mathematical and computational problems that require high level of reasoning. Unlike traditional models of generative AI, which are mainly known for answering questions and creating content, Astra was designed to perform deep analysis, build step-by-step solutions and work for long periods in scientific challenges. The new model represents…
OpenAI attributes to an internal version of its next IA ten results "unedited" in mathematics and theoretical computer science. They are accompanied by certificates formalized in Lean 4, but the scientific community still needs to appreciate its novelty and scope.
Coverage Details
Bias Distribution
- 67% of the sources are Center
Factuality
To view factuality data please Upgrade to Premium
