Команды AlphaProof и AlphaGeometry объявили о значительном прорыве в области математического интеллекта, представив новые системы, способные решать сложные задачи из математики. AlphaProof, основанный на методах обучения с подкреплением, и AlphaGeometry 2, оптимизированная версия системы для геометрических задач, совместно сумели решить 4 из 6 задач текущей Международной математической олимпиады (IMO), что является выдающимся достижением для ИИ.
IMO, проводимая ежегодно с 1959 года, считается самой престижной олимпиадой для молодежи в области математики, где участникам предстоит решить шесть сложных задач, охватывающих алгебру, комбинаторику, геометрию и теорию чисел. AI-системы показали высокие результаты, получив 28 из 42 возможных баллов, что соответствует уровню серебряной медали.
AlphaProof успешно решал алгебраические и теоретико-числовые задачи, включая одну из самых сложных, которая была решена всего лишь пятью участниками этого года. AlphaGeometry 2 также продемонстрировала свою способность, быстро решив одну из геометрических задач всего за 19 секунд.
Системы AlphaProof и AlphaGeometry 2 были подготовлены к олимпиаде путем решения миллионов задач различной сложности, что позволило им научиться находить решения с высокой точностью. Как утверждает профессор Тимоти Гауэрс, лауреат золота IMO и медали Филдса, результаты этих систем значительно превосходят все ожидания.
Разработчики продолжают исследовать возможности AI в области математического reasoning и планируют представить дополнительные технические детали по AlphaProof в ближайшем будущем. Это открывает перспективы для будущего сотрудничества между математиками и искусственным интеллектом с целью решения давних проблем в области математики.