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

НАШЕ МНЕНИЕ
Способность ИИ Google решать сложные математические задачи подчёркивает глубокие перемены. По мере дальнейшего развития ИИ работа Google и её конкурентов показывает, что технологии ИИ будут действовать не как замена человеческому интеллекту, а как катализатор, который выведет наше понимание и инновации на новый уровень.
– Эшли Ван, журналистка BTW

Что произошло

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

Модели ИИ продемонстрировали свои способности, решив четыре задачи из шести на Международной математической олимпиаде (ММО) 2024 года — престижном соревновании, известном сложными вопросами. Примечательно, что система AlphaProof решила три из этих задач, включая самую трудную, которую удалось решить лишь нескольким людям. Этот успех подчёркивает потенциал систем ИИ для выполнения сложных многошаговых рассуждений, которые традиционно считались прерогативой человеческого интеллекта.

AlphaProof объединяет языковую модель Gemini от Google ссистемой AlphaZero, ранее получившей признание за освоение настольных игр, таких как шахматы и го. Такой гибридный подход улучшает способность ИИ переводить математические задачи на формальный язык, снижая склонность больших языковых моделей к «галлюцинациям», то есть к генерации неверных, но правдоподобных ответов. Тем временем AlphaGeometry 2, обновлённая модель, специализирующаяся на геометрии, успешно решила ещё одну задачу, что дополнительно подтверждает возможности системы.

Читайте также:Спрос на ПО и ИИ стимулирует рост IBM, несмотря на спад в консалтинге

Читайте также:MIT представил новый способ моделирования обучения домашних роботов

Почему это важно

По словам Пушмита Коли, вице-президента Google DeepMind по исследованиям ИИ для науки, «Это большой прогресс в области машинного обучения и ИИ. Ни одна система такого типа ещё не была создана для решения задач с таким уровнем успешности».

Этот прорыв означает более глубокую интеграцию сотрудничества ИИ и человека в областях решения сложных задач. Хотя эти модели ИИ пока не способны заменить математиков, они предоставляют мощные инструменты, которые могут помочь в разработке новых математических доказательств и перспектив.

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