3 entries with this tag
OpenAI revealed its next major model family, Astra, by publishing ten solutions to long-standing open problems in mathematics and theoretical computer science — each with machine-checkable Lean 4 certificates. Covers the ten results across eight domains, the multi-agent long-horizon architecture, $2,000 total compute cost, the Leiden Declaration context, and what this means for the future of mathematical research.
One new research article published: comprehensive analysis of Claude Fable 5 and Mythos 5's full return after the 19-day export control suspension, covering the new safeguards architecture, benchmark dominance, the Jacobian conjecture disproof, and the complex pricing landscape.
Claude Fable 5 and Mythos 5 fully restored after 19-day government suspension. Fable 5 now leads SWE-Bench Pro at 80.3%, helped disprove the 87-year-old Jacobian conjecture, and operates with new safety classifiers, fallback routing, and complex pricing. Mythos 5 remains restricted to Project Glasswing. Analysis of the export control saga, new safeguards architecture, benchmark dominance, and what it means for the frontier landscape.