OpenAI Astra and Claude Fable: What It Means When AI Starts Solving Decades-Old Math Problems
AI just solved ten open math problems with machine-checkable Lean proofs for $2,000. Here's what OpenAI Astra and Claude Fable actually proved, what's verified, and what it means for you.
14 min00