Google DeepMind решает сложные математические задачи с помощью AlphaProof и AlphaGeometry-2.

«`html

Искусственный интеллект Google DeepMind достигает успеха в математических задачах

Впечатляющее достижение: системы искусственного интеллекта, разработанные Google DeepMind, достигли уровня серебряной медали на Международной математической олимпиаде (IMO) 2024, престижном международном соревновании для молодых математиков. ИИ-модели с именами AlphaProof и AlphaGeometry 2 успешно решили четыре из шести сложных математических задач, набрав 28 из 42 баллов. Это поместило их среди топ-58 из 609 участников, продемонстрировав значительное продвижение в математическом мышлении и возможностях ИИ.

AlphaProof: новая система на основе обучения с подкреплением

AlphaProof — новая система, основанная на обучении с подкреплением, разработанная для формального математического рассуждения. Она объединяет настроенную версию языковой модели Gemini с алгоритмом обучения с подкреплением AlphaZero, который ранее преуспел в овладении играми, такими как шахматы, шоги и Го. AlphaProof переводит проблемные утверждения на естественном языке в формальный математический язык, создавая огромную библиотеку формальных задач. Затем он использует сеть решателей для поиска доказательств или опровержений на формальном языке Lean, постепенно обучая себя решать более сложные проблемы через непрерывное обучение.

AlphaGeometry 2: усовершенствованная модель на основе нейросимвольной гибридной системы

AlphaGeometry 2 — усовершенствованная версия предыдущей системы AlphaGeometry, представляет собой нейросимвольную гибридную модель на основе языковой модели Gemini. Он был обширно обучен на синтетических данных, что позволяет ему решать более сложные геометрические задачи. AlphaGeometry 2 использует символьный движок значительно быстрее своего предшественника и использует механизм обмена знаниями для решения сложных задач.

В ходе IMO 2024 совместные усилия AlphaProof и AlphaGeometry 2 привели к решению двух алгебраических задач, одной задачи теории чисел и одной геометрической задачи. Особо отметим, что AlphaProof решил самую сложную задачу на соревновании, которую смогли решить только пять человеческих участников.

Это достижение является значительным шагом в применении ИИ для решения сложных задач и математического мышления. Успех AlphaProof и AlphaGeometry 2 демонстрирует потенциал комбинирования языковых моделей с мощными механизмами поиска, такими как обучение с подкреплением, для решения сложных математических задач.

Будущие перспективы и возможности

Исследовательские и разработческие команды за AlphaProof и AlphaGeometry 2 продолжают совершенствовать свои модели и исследовать новые подходы к улучшению математических возможностей ИИ. С успехом AlphaProof и AlphaGeometry 2 на IMO 2024 открываются новые возможности для инноваций и сотрудничества между ИИ и человеческими экспертами, стимулируя прогресс в науке и технологиях.

Для получения дополнительной информации обратитесь к материалам исследования. Вся честь за это исследование принадлежит его авторам.

Не забудьте подписаться на наш Twitter и присоединиться к нашему каналу в Telegram и группе в LinkedIn. Если вам нравится наша работа, вам понравится наша рассылка.

Не забудьте присоединиться к нашему сообществу в Reddit.

Узнайте о предстоящих вебинарах о ИИ здесь.

Этот пост был опубликован на странице MarkTechPost.

«`