Пекинский нейрохирург Шаньму Цзинь, не имеющий профильного математического образования, опубликовал доказательство гипотезы Круазе — задачи из области численной линейной алгебры, которая оставалась открытой с 2004 года.
Постдокторант и ординатор Пекинской объединенной медицинской коллегии столкнулся с этой проблемой, когда пытался применить математические методы для обработки ультразвуковых данных мозга. Решение пришло не в результате многолетних изысканий, а с помощью языковой модели ChatGPT версии 5.6, которую он запустил в 16-часовом автономном сеансе без пошагового ручного управления.
Гипотеза, сформулированная французским математиком Мишелем Круазе, касается оценки нормы матричных функций и связана с численными диапазонами комплексной плоскости. Цзинь не только получил доказательство, но и сделал весь процесс максимально прозрачным: он выложил в открытый доступ текст рукописи, все промпты, формализацию на языке Lean и аудит аксиом. Благодаря такой открытости научное сообщество смогло оперативно проверить каждый шаг рассуждений.
Реакция не заставила себя ждать. Математик из Корнеллского университета Алекс Таунсенд, который 30 июля сам предпринял попытку решить гипотезу с помощью ChatGPT, с удивлением обнаружил, что задача уже была закрыта тремя днями ранее. Он рассказал об этом случае в своей статье, обратив внимание коллег на достижение китайского врача. А уже 4 августа двое других математиков — Эмиэл Лорист и Феликс Швеннингер — опубликовали независимое пятистраничное…
