Новости 26 июля 2024

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

Далее

Компания Google DeepMind объявила о большом достижении в искусственном интеллекте.

ИИ-системы AlphaProof и AlphaGeometry 2 успешно решили четыре из шести задач на Международной математической олимпиаде (IMO), что эквивалентно серебряной медали.

Эти системы впервые достигли такого успеха на IMO. Вице-президент Google DeepMind Пушмит Коли отметил, что ранее не было систем, способных решать задачи с такой точностью и универсальностью.

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

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

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

Результаты были проверены и высоко оценены математиками Тимом Гауэрсом и Джозефом Майерсом. Системы набрали 28 из 42 возможных баллов, что соответствует серебряной медали на IMO. Это значительный шаг вперёд для ИИ в области математики.

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

Развитие таких систем остаётся важной задачей, и дальнейшие исследования помогут улучшить их работу и расширить применение в других областях математики.

Читать далее:

У всех на виду: где искать путешественников во времени

В нашей галактике нашли еще черную дыру: что в ней особенного

Трекер на гигантской акуле случайно записал столкновение с кораблем