Astra solves 10 math problems for ~$2,000 in inference cost
Astra's inference cost to solve 10 long-open math problems was roughly $2,000. Proofs are formalized in Lean 4 with machine-checkable certificates, published on GitHub with a 249-page manuscript.
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