AI Just Won a Silver Medal at the Math Olympiad
An AI system called AlphaProof performed at a Silver Medal level at the 2024 International Mathematical Olympiad, marking the first time AI has reached this competitive standard. The system, developed by Google DeepMind, guarantees 100% accuracy by using Microsoft Research’s Lean environment to veri