# DeepMind's Aletheia Achieves 95.1% on IMO-Proof Bench, Solves 4 Open Math Problems - slug: deepminds-aletheia-achieves-951-on-imo-proof-bench-solves-4-open-math-problems - date: 2026-03-16 - category: Artificial Intelligence Google DeepMind has unveiled Aletheia, an AI agent designed to bridge competition-level mathematics and professional research, achieving a record 95.1% accuracy on the IMO-Proof Bench Advanced benchmark. ---