OpenAI Astra Solved 10 Open Math Problems
OpenAI Astra solved 10 decade-old math problems with Lean 4 proofs for $2,000. What it proved, why formal verification c…
AI Solved Erdős Problems: What Actually Happened
An AI model disproved Erdős's 80-year-old unit distance conjecture. What it actually proved, who verified it, and why ma…