OpenAI Says Its Astra Model Solved Ten Long-Standing Math Problems for Under $2,000 Each
OpenAI claims its Astra model solved ten long-standing mathematical problems for under $2,000 each in token costs, releasing formal proofs and a paper. The announcement contrasts with Anthropic's $100,000 cryptographic research, highlighting a growing gap in AI research economics and transparency. The mathematics community reacts with a 'Deep Blue' moment, while Terence Tao's vision of AI-assisted 'big mathematics' gains traction.
