Ten math problems with no progress in a decade or more. OpenAI posted new results on all ten, from an internal build of Astra, its next major model, still unreleased. Roughly $2,000 of tokens at Sol…

OpenAI's next model just resolved two Erdős problems and disproved an 80-year-old conjecture in group theory. Total cost: about $𝟮,𝟬𝟬𝟬 in tokens. The unreleased Astra model produced ten new…

The original thread remains a pinned snapshot, not a description of current HEAD. The evidence got richer, but not stable: today's public artifact has already been replaced twice.

Primary sources: OpenAI announcement: Proof manuscript: Reasoning walkthroughs:

🚨OpenAI’s new model Astra resolves 10 advanced math problems >Non-sofic groups constructed >Connes’s rigidity conjecture disproven >Sphere packing: Cohn–Elkies strength determined exactly >Quantum…

An internal version of Astra, our next major model, found new results across 10 long-standing open problems in math and theoretical computer science. The total token cost to find all 10 solutions?…

openai just revealed astra, its next major model, through ten advances in mathematics and theoretical computer science. the targets were open problems across sphere packing, coding theory, group…