OpenAI’s Bubeck denies trying to cut Anthropic mathematician from credit29m ago 10 of the scariest AI villains in movie history30m ago Maven Robotics wants to steal your robot deployment deal32m ago Agent Security Is Not AI Governance: Why Conflating The Two Is A Risk Enterprises Can't Afford34m ago Positron Valued at $5 Billion in New Funding as Demand for AI Chips Surges41m ago 7 Steps to Become a Forward Deployed Engineer in 202649m ago Ramp eyes $60bn valuation three months after $44bn, Bloomberg reports1h ago Amazon partners with OpenAI to let users of Amazon's DSP run ads in ChatGPT in a pilot program limited to the US; ChatGPT Ads hit $1B in ARR last month1h ago D-Matrix Connects Raptor XPUs to NVIDIA AI Factories via NVLink Fusion1h ago Source: Meta AI researcher Andrew Tulloch, who came over from Thinking Machine Lab as one of the highest paid employees last year, is leaving the company (Reed Albergotti/Semafor)1h ago Mother Horrified When Instagram’s AI Scours Social Media for Invasive Information About Her Young Daughters1h ago Mach Industries, which makes unmanned military vehicles and weapons, raised $600M in an extension to its $300M Series C, doubling its valuation to $3.7B1h ago Salesforce Unveils Six-Capability Trusted AI Harness for Enterprises1h ago US closes $1.9bn loan to restart the Iowa nuclear plant powering Google2h ago

OpenAI’s Bubeck denies trying to cut Anthropic mathematician from credit29m ago 10 of the scariest AI villains in movie history30m ago Maven Robotics wants to steal your robot deployment deal32m ago Agent Security Is Not AI Governance: Why Conflating The Two Is A Risk Enterprises Can't Afford34m ago Positron Valued at $5 Billion in New Funding as Demand for AI Chips Surges41m ago 7 Steps to Become a Forward Deployed Engineer in 202649m ago Ramp eyes $60bn valuation three months after $44bn, Bloomberg reports1h ago Amazon partners with OpenAI to let users of Amazon's DSP run ads in ChatGPT in a pilot program limited to the US; ChatGPT Ads hit $1B in ARR last month1h ago D-Matrix Connects Raptor XPUs to NVIDIA AI Factories via NVLink Fusion1h ago Source: Meta AI researcher Andrew Tulloch, who came over from Thinking Machine Lab as one of the highest paid employees last year, is leaving the company (Reed Albergotti/Semafor)1h ago Mother Horrified When Instagram’s AI Scours Social Media for Invasive Information About Her Young Daughters1h ago Mach Industries, which makes unmanned military vehicles and weapons, raised $600M in an extension to its $300M Series C, doubling its valuation to $3.7B1h ago Salesforce Unveils Six-Capability Trusted AI Harness for Enterprises1h ago US closes $1.9bn loan to restart the Iowa nuclear plant powering Google2h ago

AI Research31 min reading time

OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems

Covered by 2 sourcesPublished Aug 3, 2026

OpenAI's unreleased model Astra has solved ten significant open problems in mathematics, producing formal proofs and narrations of its reasoning. These breakthroughs span areas like sphere packing, group theory, quantum games, and graph theory, showcasing advanced AI capabilities in complex mathematical reasoning.

Covered by 2 sources

More on this story

The AI takeover of mathematics has begun
30d· The Verge
What is OpenAI Astra? Everything we know about the new — and possibly dangerous — new model
Aug 8· Mashable
OpenAI Smuggled the Announcement of Astra, Its Next AI Model, Into a Blog Post About Math
Aug 2· Gizmodo
Mathematics Without Mathematicians
Aug 2· Hacker News
Ten advances in mathematics and theoretical computer science
Aug 1· Simon Willison's Weblog

#astra #formal-proofs #mathematics #openai #quantum-games #sphere-packing

More in AI Research

Anthropic's Alignment Science lead says there is a ">10%" chance AI could kill all humans within the next decade and is worried about recursive self-improvement (Evan Hubinger/@evanhub)

Covered by 9 sources1d ago

AI Research4 min read

Suno trained its v6 AI music models with help from Warner and BMG

Covered by 5 sources1d ago

Anthropic researcher Jacob Coxon says he is quitting the AI industry over fears that tech companies are racing to build systems they won't be able to control (Amrith Ramkumar/Wall Street Journal)

Covered by 11 sources2d ago