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