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