По признанию Шанму Джина, с математикой он знаком только по базовому университетскому курсу. Источник: alextownsend.net

Пекинский нейрохирург Шаньму Цзинь опубликовал препринт с доказательством гипотезы Круазе — задачи из численной линейной алгебры, которую специалисты по всему миру не могли разрешить с 2004 года.

Цзинь — постдокторант и резидент нейрохирургии Пекинской объединенной медицинской коллегии, без специального математического образования. С проблемой он столкнулся, пытаясь решить задачу, связанную с ультразвуковым исследованием мозга, уточняет South China Morning Post.

Гипотезу сформулировал французский математик Мишель Круазе. Она утверждает, что норма любой функции, примененной к матрице, не превышает удвоенного максимума этой функции на численном диапазоне — особой области комплексной плоскости, связанной со спектральными свойствами матрицы.

Решение математических задач с помощью ИИ становится обыденностью. Источник: Unsplash

Для доказательства Цзинь использовал модель ChatGPT 5.6 в 16-часовом автономном режиме — без ручного вмешательства на каждом шагу. Все материалы он выложил открыто: текст рукописи, использованные промпты, формализацию на языке Lean и аудит аксиом. Такая прозрачность позволила сообществу быстро проверить ход рассуждений.

Результат вызвал немедленный отклик. Математик из Корнельского университета Алекс Таунсенд был удивлен, когда 30 июля, в очередной раз пытаясь также решить гипотезу с помощью ChatGPT, он получил ответ, что проблема уже решена за три дня до этого. Американский специалист рассказал об истории Цзиня и его доказательстве в своей статье.

А 4 августа математики Эмиэл Лорист и Феликс Швеннингер опубликовали независимое пятистраничное доказательство той же гипотезы. При работе авторы также обращались к ChatGPT 5.6 для проверки стратегий доказательства.