Urgent.News

What's breaking now, across thousands of outlets.

More in AI

OpenAI's Astra solved 10 decades-old math problems for $2,000

The headline number: on August 1, 2026, OpenAI said an internal, unreleased model it calls Astra produced fully machine-verified proofs for ten open problems in mathematics and theoretical computer science — several unsolved for decades — for a total inference cost of roughly $2,000.

  • OpenAI's undisclosed model Astra solved 10 unsolved math problems
  • Astra achieved this for $2,000 in computational resources
  • Proofs verified by Lean 4, no gaps found in 249-page manuscript

More from Saturday 10 October →