OpenAI and DeepMind Models Ace International Math Olympiad with Natural Language Proofs
Groundbreaking AI models from OpenAI and Google DeepMind achieve gold medal-level performance at the prestigious International Mathematical Olympiad, solving complex problems and providing natural language proofs, marking a milestone in general-purpose AI for math and reasoning.