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

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

Система была обучена на массиве данных, включающем 300 миллиардов токенов, и 300 тысяч готовых доказательств. Более того, AlphaProof прошла обучение на 80 миллионах задач с использованием методов подкрепления. Для сложных задач была добавлена система TTRL, которая помогает находить оптимальные стратегии. Это открывает новые горизонты для применения технологии в математике и других областях.