An unreleased OpenAI model named Astra has reportedly solved ten long-standing mathematical problems, some of which had remained open for decades. Unlike previous claims, this instance is backed by mathematically verifiable and machine-checkable proofs, lending significant credibility to the findings. The compute cost for these solutions was approximately $2,000, and the mathematician Thomas Bloom, who previously debunked an earlier inflated claim by OpenAI, has confirmed these new results as substantial. AI
IMPACT Sets a new precedent for AI's capability in abstract reasoning and formal proof generation, potentially accelerating scientific discovery.
RANK_REASON Frontier-lab model release with verifiable proofs for mathematical problems. [lever_c_demoted from frontier_release: ic=1 ai=1.0]
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
