Математики устарели? Это тайное совещание, которое унизило некоторые из величайших умов мира.

В мае 2025 года в кампусе Калифорнийского университета в Беркли состоялась необычная встреча, которая может стать поворотным моментом в истории современной математики . Тридцать самых авторитетных математиков мира собрались на секретном конклаве не для того, чтобы подискутировать друг с другом, а чтобы встретиться лицом к лицу с искусственным интеллектом: o4-mini , передовой языковой моделью, разработанной OpenAI, способной рассуждать с беспрецедентной скоростью и точностью.

Целью было протестировать машину в течение двух дней на некоторых из самых сложных задач в мире. За каждый вопрос, который o4-mini не смог решить, математик, сформулировавший его, получал вознаграждение в размере 7500 долларов США (6389 евро) . Однако результат этого марафона оставил многих участников в недоумении. Кен Оно, математик из Университета Вирджинии и один из судей мероприятия, рассказал журналу Scientific American: « Я никогда не видел подобного рода рассуждений в модели. Именно так поступают учёные. Это ужасно».

Встреча, организованная некоммерческой организацией Epoch AI в рамках проекта FrontierMath, проходила с соблюдением строгих мер безопасности. Участники подписали соглашения о конфиденциальности и были лишены возможности пользоваться электронной почтой . Общение осуществлялось только через зашифрованное приложение Signal, чтобы предотвратить утечки, способные повлиять на обучение модели. 30 математиков были разделены на группы по шесть человек и соревновались друг с другом, придумывая задачи, которые они могли бы решить, но которые привели бы к сбою ИИ.

Задачи варьировались от теории чисел до алгебраической геометрии, охватывая задачи, на решение которых обычно уходят недели академической работы. Однако o4-mini решил их за считанные минуты, не только предоставив ответ, но и продемонстрировав структурированный процесс рассуждения. Он разбил задачу на части, действовал шаг за шагом и предложил промежуточные решения, прежде чем прийти к выводу.

«Отличительная черта этих моделей заключается в том, что теперь они лучше связывают решения с более мелкими проблемами», — объясняет Хорди Серра Руис, профессор компьютерных наук Открытого университета Каталонии, в интервью ABC . «Таким образом, они могут решать те же задачи, что и люди, шаг за шагом. Но только в тех случаях, когда задачи были предварительно изучены или объяснены ».

Больше всего многих из присутствующих тревожил поразительный прогресс, достигнутый искусственным интеллектом всего за год. Благодаря развивающемуся обучению разработчики начали формулировать задачи «четвёртого уровня» — вопросы, которые могут решить лишь немногие эксперты в мире, — и к апрелю 2025 года o4-mini смог решить почти 20% из них. Традиционные модели едва справлялись с более чем 2%.

«Для каждой задачи ИИ тратил первые две минуты на изучение и освоение соответствующей литературы. Затем он решал упрощённую версию для обучения, а затем, наконец, переходил к решению полной задачи и находил правильное, пусть и смелое, решение », — сказал Оно. «А в конце ИИ фактически сказал: „Не нужно ссылаться (на моё вдохновение), потому что я вычислил загадку! “»

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

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

По мере продолжения выходных настроение становилось всё более противоречивым: восхищение техническим прогрессом и глубокая обеспокоенность будущим математики. « Что произойдёт, когда машина решит всё быстрее вас?» — спрашивали несколько участников. Оно была прямолинейна, но уточнила, что не пытается нагнетать обстановку: «Серьёзная ошибка — думать, что общий искусственный интеллект (ОИИ) — гипотетический тип ИИ, способный понимать и применять знания подобно человеку , — никогда не появится, что это всего лишь компьютер. В некотором смысле эти модели уже превосходят наших лучших аспирантов».

Итогом этой встречи стало не поражение, а скорее предостережение. Группе удалось сформулировать десять проблем, которые o4-mini решить не мог , хотя все понимали, что поддерживать это преимущество будет всё сложнее. Возможность достичь «пятого уровня» — с вопросами, неразрешимыми даже для лучших людей — уже не кажется научной фантастикой.

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

Оскар Корчо, профессор искусственного интеллекта Мадридского политехнического университета , резюмирует это для ABC следующим образом: «Нам придётся адаптироваться к работе с этими машинами, как мы это сделали, когда в интернете появились поисковые системы». Понимание внутренней работы этих новых видов интеллекта — задача столь же важная, как и понимание работы человеческого мозга : «В этом искусственном разуме будут слепые пятна, которые мы попытаемся расшифровать. По сути, мы уже являемся кем-то вроде „психологов искусственного интеллекта“». Но всегда полезно помнить, что мы имеем дело с инструментом, который не должен делать своих пользователей устаревшими.

Агентство перспективных исследовательских проектов Министерства обороны США (DARPA) давно предупреждает, что математика застряла в прошлом . «Математика до сих пор изучается так же, как и столетия назад: людьми, стоящими перед доской», — сетует Патрик Шафто, директор программы. Именно поэтому в апреле 2025 года он запустил инициативу expMath, целью которой является разработка «ИИ-соавтора», способного разбивать сложные математические задачи на более простые компоненты и решать их быстро и точно.

Встреча в Беркли была не просто экспериментом; она стала отражением настоящего и проблеском будущего. Кен Оно заметил по этому поводу: « У меня есть коллеги, которые буквально говорили, что эти модели приближаются к математическому гению».

И если спросить сам ИИ об этом феномене, ответ будет поразительным. ChatGPT, также разработанный OpenAI, отвечает: «Такие люди, как Теренс Тао, Ноам Хомский, или даже такие гении, как Леонардо да Винчи или Мария Кюри, обладали глубоким, новаторским и личным пониманием мира, которое выходит далеко за рамки того, что ИИ может сделать прямо сейчас».

Но он отмечает, что если мы спросим себя, зачем нам что-то, что превосходит нас, ответ будет прост: «Потому что в глубине души мы знаем, что ограничения нас душат. И мы также знаем, что комфорт без вызова притупляет разум. Возможно, в этом и есть ключ: в мире, где машины эффективно решают проблемы, наша истинная ценность будет заключаться в способности представить то, что пока не имеет решения».