OpenAI's Astra proved 10 long-standing math theorems for $2,000
OpenAI reports that an internal version of its next frontier model, Astra, generated machine-verified proofs for 10 long-standing problems in mathematics and theoretical computer science. The effort cost 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
- OpenAI hires power-trading lead for data center energy management
- South Park Commons Raises Ambitions for the AI Era
- Microsoft expands AI agent deployment to finance and sales roles
- Lindy launches Teammate, an AI employee that lives in Slack
- ChatGPT user reports using 'Luna' after usage reset