Нейрохирург из Пекина с помощью ИИ решил математическую задачу, над которой ученые бились 20 лет
Нейрохирург Цзинь Шаньму из Пекинского союзного медицинского колледжа совершил прорыв в математике — он доказал гипотезу Крузе, над решением которой эксперты работали с 2004 года. При этом у врача не было профильного математического образования: его подготовка ограничивалась базовыми университетскими курсами, а в остальном он был самоучкой.
Изначально Цзинь не стремился к математическим открытиям: он пытался разобраться с проблемой, возникающей при проведении УЗИ мозга, и в ходе поисков наткнулся на задачи из области матричного анализа. Для работы врач использовал модель GPT‑5.6‑Sol на платформе ChatGPT Work — расчеты и поиск решения шли в автономном режиме на протяжении 16 часов.
Суть гипотезы французского математика Мишеля Крузе заключается в том, что норма применения любой функции к матрице не превышает удвоенного максимального значения этой функции на числовом диапазоне матрицы. Задача давно считалась одной из непростых в численной линейной алгебре.
О прорыве стало известно благодаря математикам Алексу Таунсенду из Корнеллского университета и Энн Гринбаум из Университета Вашингтона. Более года Таунсенд экспериментировал с моделями GPT, пытаясь решить гипотезу, и 30 июля ИИ неожиданно указал ему на свежую статью в сети — в ней утверждалось, что задача решена. Автором работы оказался Цзинь Шаньму.
Таунсенд, Гринбаум и сам Крузе изучили статью и подтвердили корректность доказательства — хотя формально рецензирование статьи еще не завершено. Эксперты особо отметили, насколько впечатляющим выглядит результат с учетом отсутствия у Цзиня специализированной математической подготовки, пишет South China Morning Post.
История Цзиня вписывается в общий тренд: искусственный интеллект все активнее помогает добиваться прорывов в математике. Так, в мае OpenAI сообщила, что их внутренняя модель самостоятельно решила задачу о плоском единичном расстоянии, сформулированную венгерским математиком Паулем Эрдошем еще в 1946 году. В начале августа компания опубликовала список из 10 задач, по которым ее новая модель Astra добилась серьезного прогресса.
Ранее запрещенная модель искусственного интеллекта Mythos смогла получить доступ почти ко всем засекреченным ресурсам Агентства национальной безопасности США. На взлом систем АНБ у нейросети ушло всего несколько часов.