На Международной математической олимпиаде 2024 года произошел уникальный случай: система AlphaProof, созданная Google DeepMind, представила решение, сопоставимое с работами сильных школьников, завоевавших серебряную медаль. Это стало прорывом, так как раньше ни один искусственный интеллект не достигал таких результатов на подобном уровне. AlphaProof предназначен для решения математических задач с помощью формальных доказательств и способен самостоятельно выявлять и исправлять свои ошибки. В отличие от стандартных языковых моделей, которые могут допускать неточности в выводах, AlphaProof использует систему Lean для строгой верификации рассуждений. Обучение программы проходило в три этапа, включая анализ 300 миллиардов токенов и 80 миллионов формализованных задач. Эта технология имеет потенциал не только для олимпиад, но и для проверки математических текстов и разработки новых идей.