Искусственный интеллект против математиков: как чат-бот о4-mini бросил вызов ученым

В середине мая 2025 года в Берли (Калифорния) собрались тридцать ведущих математиков мира, чтобы провести необычный эксперимент — испытать на прочность новейший чат-бот ChatGPT o4-mini, созданный OpenAI. Эта модель, основанная на технологии больших языковых моделей (LLM), уже демонстрировала впечатляющие способности в решении сложных задач, но теперь ей предстояло столкнуться с вопросами, которые даже для лучших умов математического сообщества оставались открытыми. Результаты оказались настолько ошеломляющими, что заставили ученых задуматься о будущем своей профессии.

Математический конклав и вызов искусственному интеллекту

Организованный при поддержке Epoch AI, проект FrontierMath поставил перед o4-mini серию задач разного уровня сложности — от стандартных университетских до проблем, над которыми годами бились ведущие исследователи.

Первые тесты показали, что модель справляется с 20% вопросов, но настоящим испытанием стал четвертый уровень — задачи, которые под силу лишь узкому кругу специалистов. Чтобы избежать «загрязнения» данных, математикам даже запретили обсуждать задачи вне защищенных каналов, таких как Signal.

Потрясение математического сообщества

Профессор Кен Оно, один из организаторов встречи, поделился своим шоком, когда o4-mini решил его задачу по теории чисел — вопрос уровня PhD, который эксперты считали открытым. Бот не просто дал ответ, а развернуто объяснил ход рассуждений: сначала изучил литературу, затем протестировал упрощенную версию задачи и, наконец, за несколько минут представил точное решение. «Это было похоже на работу с гениальным соавтором», — признался Кен Оно.

Скорость работы ИИ также поразила участников: то, на что у человека ушли бы недели, o4-mini делал за минуты. Однако математики выразили и тревогу: модель демонстрировала такую уверенность в ответах, что ее выводы могли восприниматься как истина без должной проверки. Ян Хуэй Хэ сравнил это с «доказательством запугиванием» — когда авторитетность подачи заставляет поверить даже в возможные ошибки.

Будущее математики: сотрудничество или замена?

К концу встречи стало ясно, что o4-mini приближается к уровню, на котором сможет решать задачи, недоступные даже лучшим математикам. Это заставило участников задуматься о новой роли ученых: возможно, в будущем они станут не столько решателями, сколько «постановщиками» вопросов, направляя ИИ в поиске новых истин.

Опыт майского конклава показал, что искусственный интеллект уже сегодня превосходит многих ученых топовых университетов, а его стремительное развитие ставит перед наукой не только технические, но и философские вопросы. Как отмечает Кен Оно, отрицать потенциал ИИ — ошибка, но и слепо доверять ему нельзя. Математика вступает в новую эру, где человеку и машине предстоит искать баланс между творчеством и вычислениями.