# DeepMind's Aletheia Achieves 95.1% 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. ---