Современные системы искусственного интеллекта (ИИ) обладают многими навыками, но, как правило, не справляются с решением сложных математических задач. Именно поэтому компания Google рада тому, что две ее системы искусственного интеллекта DeepMind смогли решить несколько сложных задач, поставленных на престижном математическом конкурсе.
В новом сообщении, опубликованном в четверг, Google отмечает умные способности и достижения своих моделей ИИ DeepMind AlphaProof и AlphaGeometry 2. Участвуя в Международной математической олимпиаде (IMO) 2024 года, эти две системы решили четыре из шести задач. Благодаря этим усилиям Google получил тот же уровень, что и серебряный призер, впервые участвуя в этом конкурсе, который обычно ориентирован на молодых математиков.
Каждый год IMO приглашает элитных математиков до колледжа для решения шести чрезвычайно сложных задач по алгебре, комбинаторике (подсчет, выбор и расположение большого количества объектов), геометрии и теории чисел. Выйдя за пределы человека, конкурс также стал способом тестирования и оценки систем машинного обучения и искусственного интеллекта в продвинутых математических рассуждениях.
Переведя задачи на формальный язык, понятный ИИ AlphaProof решил две задачи по алгебре и одну задачу по теории чисел, не только найдя ответ, но и доказав его правильность. Google назвал задачу по теории чисел самой сложной в конкурсе: ее решили только пять участников-людей. AlphaGeometry 2 справилась с задачей по геометрии. Но ни одна из моделей не смогла решить две задачи по комбинаторике.
AlphaProof – это система на основе ИИ, которая может самостоятельно обучиться доказывать математические утверждения с помощью формального языка Lean. Объединив предварительно обученную языковую модель с алгоритмом обучения с подкреплением AlphaZero, AlphaProof ранее научила себя играть и побеждать в шахматы, сёги и го.
AlphaGeometry 2 – это улучшенная версия AlphaGeometry. Созданная на основе ИИ Gemini компании Google, эта модель может решать сложнейшие задачи по геометрии, включая задачи о движении объектов и уравнениях углов, соотношений и расстояний.
Помимо проверки математических способностей AlphaProof и AlphaGeometry 2, Google воспользовалась IMO, чтобы испытать систему рассуждений на естественном языке, построенную на базе Gemini и обладающую расширенными возможностями решения задач. В отличие от двух других моделей, эта не требует перевода задач на формальный язык.
Хотя достижения этих моделей могут показаться абстрактными, Google рассматривает их как еще один шаг к будущему ИИ.
«Мы с нетерпением ждем будущего, в котором математики будут работать с инструментами ИИ, чтобы исследовать гипотезы, пробовать новые смелые подходы к решению давних проблем и быстро завершать трудоемкие элементы доказательств – и где системы ИИ, подобные Gemini, станут более способными в математике и более широких рассуждениях»
- говорится в сообщении компании
Комментарии (0)