AIThe New Stackabout 2 hours ago
OpenAI's Astra Proves 10 Math Theorems for $2,000
4 min read
OpenAI's Astra model generated machine-checkable proofs for 10 long-standing math and computer science problems, costing roughly $2,000 in GPT-5.6 Sol API tokens. The 249-page manuscript collection includes certificates for every result, spanning group theory, quantum complexity, and extremal combinatorics.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyOpenAI
See how this developedHow outlets covered it
Summary by ByteBrief
