На этой неделе искусственный интеллект (ИИ) поразил мир, завоевав серебряную медаль на Международной математической олимпиаде (IMO). Революционные модели AlphaProof и AlphaGeometry 2 разработаны специально для решения сложных математических задач и показали впечатляющие результаты.
Система формального математического мышления AlphaProof и улучшенная версия системы решения геометрии AlphaGeometry 2 справились с четырьмя из шести задач IMO, достигнув тем самым уровня серебряного медалиста. Это первый случай, когда ИИ добился таких выдающихся результатов на международной математической олимпиаде.
Разработчики отметили значительный прогресс в создании систем искусственного интеллекта, способных помогать математикам в открытии новых идей, алгоритмов и решений научных проблем. Однако они признали, что текущие системы ИИ все еще испытывают трудности при решении общих математических задач из-за ограничений в навыках рассуждения и обучающих данных.
IMO является старейшим и престижным конкурсом молодых математиков, в ходе которого они решают шесть сложных задач по алгебре, комбинаторике, геометрии и теории чисел. Участие в IMO подготавливает молодых математиков к поступлению в колледж и представляет высокий уровень математического мышления.
Вице-президент Google DeepMind Пушмит Коли отметил, что решение задач в рамках математической олимпиады требует уникального абстрактного мышления и сложного планирования, что ранее было практически недостижимым для ИИ. Он подчеркнул, что AlphaProof и AlphaGeometry 2 смогли успешно решить эти вызовы благодаря обширному обучению и использованию формальных языков программирования.
