| Разработчики: | Google DeepMind (DeepMind Technologies) |
| Отрасли: | Информационные технологии |
2024: Второе место на олимпиаде по математике
25 июля 2024 года компания Google DeepMind, специализирующаяся на исследованиях в области искусственного интеллекта, представила ИИ-модели AlphaProof и AlphaGeometry 2, способные справляться со сложными математическими заданиями. Сообща они смогли решить четыре из шести задач Международной математической олимпиады (IMO), что соответствует второму месту — серебряной медали.
AlphaProof — это система, которая обучается доказывать математические утверждения на формальном языке Lean. Она объединяет предварительно обученную языковую модель с алгоритмом обучения с подкреплением AlphaZero, который ранее сам себя научил играть в шахматы, сеги и го. В свою очередь, AlphaGeometry 2 представляет собой усовершенствованную версию ИИ-системы AlphaGeometry, которая предназначена для решения задач по геометрии. Это нейросимволическая гибридная система, в которой языковая модель основана на Gemini и обучена на большом количестве синтетических данных.
Каждая из шести задач IMO может принести семь баллов, а общий максимум — 42 балла. Связка моделей AlphaProof и AlphaGeometry 2 показала результат в 28 баллов, получив максимальную оценку за каждую из четырех решенных задач. В частности, AlphaProof справилась с двумя алгебраическими заданиями и одним заданием по теории чисел, выдав ответ и доказав его правильность. Модель AlphaGeometry 2 решила одну задачу по геометрии. Вместе с тем две задачи по комбинаторике остались нерешенными.Вице-премьер Дмитрий Григоренко рассказал TAdviser, как устроена цифровая модель госуправления Правительства России 
Подчеркивается, что AlphaProof справилась с одним из самых сложных заданий на олимпиаде, которое смогли осилить только пять участников IMO. Новым ИИ-моделям не хватило всего одного балла для достижения порога золотой медали. На официальном состязании планку в 29 баллов смогли преодолеть 58 из 609 участников. Таким образом, впервые ИИ при решении математических задач IMO смог показать результаты на уровне медалистов.[1]
