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