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