Исследователи заявляют: бот от OpenAI проявляет признаки математического гения

Тридцать ведущих математиков со всего мира втайне собрались в UC Berkeley, чтобы испытать мощный искусственный интеллект «o4-mini» от OpenAI. Бот получил самые сложные математические задачи во время уикенд-соревнования, которое поразило участников своими ответами.

«У меня есть коллеги, которые буквально заявили, что эти модели приближаются к уровню математического гения», — сказал Кен Оно, математик из Университета Вирджинии и судья на этом мероприятии, как сообщила Scientific American (SCI AM).

Разработчики обучили O4-mini как компактную, но мощную версию ChatGPT, способную решать сложные задачи, как сообщило SCI AM.

Исследователи были поражены, когда O4-mini решила 20% из 300 неопубликованных математических вопросов во время теста FrontierMath, который разработал некоммерческая организация Epoch AI. Традиционные модели решили менее 2%, отметило SCI AM.

«Я столкнулась с проблемой, которую эксперты в моей области узнали бы как открытый вопрос в теории чисел,» — сказала Оно, как сообщает SCI AM. Бот потратил две минуты на обзор литературы, сначала попробовал более простую версию, а затем решил ее, добавив: «Цитирование не требуется, потому что загадочное число было вычислено мной!»

«Он начал становиться действительно нахальным […] Это пугает,» — добавила Оно, как сообщает SCI AM.

Группа обнаружила десять проблем, которые система ИИ не смогла решить, однако многие участники были поражены быстрым развитием технологии. «Это то, что делал бы очень, очень хороший аспирант, и даже больше,» — сказала Ян Хуи Хе из Лондонского института, как сообщает SCI AM.

Математики рассмотрели возможные сценарии, в которых люди будут управлять системами ИИ, а не самостоятельно решать математические задачи. Как предупреждал Оно: «Говорить, что обобщенный искусственный интеллект никогда не появится, — это большая ошибка […] Эти модели уже превосходят большинство наших лучших аспирантов», как сообщает SCI AM.