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