AITechmemeabout 2 hours ago
OpenAI Astra solves 10 open math problems
1 min read
OpenAI confirmed its Astra model family solved ten open problems in math and theoretical computer science, including establishing non-sofic groups. The proofs were formalized in Lean, and generating all solutions cost about $2,000 at Sol API rates. OpenAI demoed Astra to US policymakers in Washington, D.C.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyOpenAI
Summary by ByteBrief
