Math Olympiad proofs

April 25, 20251190
Why AI Struggles with Olympiad-Grade Proofs
Introduction Despite landmark advances in large language models (LLMs) over the past two years, ...
Introduction Despite landmark advances in large language models (LLMs) over the past two years, ...