Искусственный интеллект на Международной математической олимпиаде 2024 года

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