AlphaProof AI Nearly Matches Top Human Math Olympiad Scores

Описание: DeepMind's AlphaProof AI system achieved silver medal-level performance at the 2024 International Mathematical Olympiad by solving complex math problems with advanced reasoning. This breakthrough highlights AI's growing ability to understand and tackle formal mathematics alongside human experts.