OpenAI's Astra proves 10 long-standing theorems for $2,000
An internal version of OpenAI's Astra, its next frontier model, produced machine-verified proofs for 10 long-standing problems in math and theoretical computer science — all for roughly $2,000 in GPT-5.6 Sol API tokens.
1 source
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- AI sizing tools aim to solve online shopping's fit problem
- MiniMax Code agent runs on MiniMax M3, writes code, controls browser
- Apple Music's AI labeling system to launch later this year
- Zelda clip tests MiniMax H3 reference-to-video generation
- Yuval Noah Harari urges resisting AI rights