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