Нурлан Каримов 
В мае этого года в обстановке строжайшей секретности состоялась встреча 30 ведущих математиков мира. Цель этого тайного собрания была амбициозной и нетривиальной: придумать математические задачи настолько сложные, что их не смог бы решить даже самый продвинутый искусственный интеллект.
В ходе эксперимента, получившего название FrontierMath, группа ученых вступила в интеллектуальное противостояние с «рассуждающим» чат-ботом на базе большой языковой модели (LLM) o4-mini. Как сообщает Scientific American, для этого был создан специальный набор из 350 оригинальных математических задач, уровень сложности которых варьировался от университетского до такого, что даже экспертам потребовались бы дни на их решение. «Самый сложный, четвертый уровень, содержит 50 чрезвычайно трудных задач, разработанных профессорами математики в качестве краткосрочных исследовательских проектов. Их решение докажет, что ИИ способен к сложным рассуждениям, необходимым для научных прорывов», — пишут организаторы проекта.
Чтобы исключить любую возможность «жульничества» со стороны ИИ, участники встречи подписали соглашения о неразглашении и общались исключительно через мессенджер Signal. Этот шаг был предпринят из опасения, что нейросеть может просканировать стандартную электронную почту и «обучиться» на вопросах еще до начала теста. В качестве дополнительного стимула за каждую задачу, которая ставила o4-mini в тупик, математикам была обещана награда в 7500 долларов.
В течение двух дней 30 ученых, разделенные на шесть групп, пытались сформулировать вопросы, которые были бы решаемы для человека, но не для машины. Результат оказался ошеломляющим: им удалось создать всего 10 таких задач. Искусственный интеллект справился с остальными, продемонстрировав невероятные аналитические способности.
«Я не был готов к противостоянию с такой языковой моделью, — признался Кен Оно, математик из Университета Вирджинии и один из организаторов встречи. — Я никогда раньше не видел у моделей подобных рассуждений. Так работает ученый. Это пугает».
Результаты этой встречи ставят перед научным сообществом серьезные вопросы о будущем математики. Эксперты полагают, что если ИИ когда-нибудь сможет решать задачи «пятого уровня» — те, что не под силу даже гениям, — это вызовет сейсмический сдвиг в науке. Роль математиков может измениться: вместо того чтобы решать проблемы, они будут лишь формулировать правильные вопросы для мощных ИИ-систем, которые и будут открывать новые математические истины.
«Я не хочу нагнетать истерию, — добавил Оно, — но в некотором смысле эти большие языковые модели уже превосходят большинство наших лучших аспирантов в мире».