Нейрохирург из Пекина решил 22-летнюю математическую проблему, оставив ChatGPT работать на 16 часов

В конце июля 2026 года 22-летняя открытая проблема в области численного линейного алгебры пала — не перед титулованным профессором престижного университета, а перед ординатором-нейрохирургом из Пекина, который задал промпт, оставил компьютер и вернулся через 16 часов, обнаружив, что GPT-5.6-Sol самостоятельно построил доказательство.

Доктор Цзинь Шаньму (Jin Shanmu), постдок и ординатор-нейрохирург в больнице Пекинского объединенного медицинского колледжа (Peking Union Medical College Hospital), использовал модель OpenAI GPT-5.6-Sol на платформе ChatGPT Work для автономной генерации полного доказательства гипотезы Крузейка (Crouzeix's conjecture) . Задача, поставленная французским математиком Мишелем Крузейком в 2004 году, более двух десятилетий оставалась вызовом для ведущих мировых специалистов по численному анализу.

Проблема, которая не поддавалась решению

Гипотеза Крузейка утверждает, что для любой квадратной комплексной матрицы A и многочлена p операторная норма ||p(A)|| не более чем вдвое превышает максимальное значение модуля |p| на числовом образе A. Предыдущая лучшая оценка составляла 1+√2 (примерно 2,414) и была получена на семинаре 2017 года в Американском институте математики, где ведущие специалисты не смогли сократить разрыв до точной константы 2 .

Проблема лежала на стыке теории матриц и функционального анализа в области численного линейного алгебры — узкий, но фундаментальный вопрос, который сопротивлялся усилиям экспертов на протяжении двух десятилетий.

От УЗИ мозга к математическому прорыву

Цзинь не стремился войти в историю математики. Он занимался исследованием транскраниального ультразвука — моделировал, как ультразвуковые волны проникают через череп, — что привело его к матричному анализу и, в конечном счете, к гипотезе Крузейка . Всю свою математику на продвинутом уровне он освоил самостоятельно, в рамках исследований ультразвука; его бакалаврская степень была по геологии в Пекинском университете, а медицинская степень получена в Пекинском объединенном медицинском колледже. Формального образования в области высшей математики у него не было .

16-часовой автономный запуск

Цзинь адаптировал стратегию промпта, которую OpenAI использовал при решении гипотезы о двойном покрытии циклов (Cycle Double Cover conjecture). Он спроектировал мультиагентную, состязательную среду с четырьмя инструкциями :

1. Работа в автономном режиме: Модель работала в физически изолированной среде, что препятствовало получению уже существующих доказательств или решений из интернета.
2. Параллельное исследование: Система запускала множество саб-агентов, исследующих принципиально разные стратегии доказательства, предотвращая преждевременную сходимость к единственному подходу.
3. Состязательный аудит: Кандидатные доказательства подвергались проверкам на уязвимости, вынуждая модель находить и исправлять собственные ошибки.
4. Запрет на досрочную остановку: Системе было предписано не останавливаться, пока полное доказательство не пройдет все проверки.

Цзинь запустил систему и ушел. Примерно через 16 часов непрерывной работы — в течение которых GPT-5.6-Sol выполнила тысячи циклов генерации, проверки гипотез, отбраковки и перестраивания — она выдала полное доказательство .

Вместо громоздких оценок, которых ожидали эксперты, аргумент использовал аккуратную стратегию выборки для сведения задачи к простому условию положительности . По отзывам тех, кто его рецензировал, это был элегантный и неожиданный подход.

Верификация экспертами

Численный аналитик Алекс Таунсенд из Корнелльского университета провел предыдущий год, регулярно прося ChatGPT атаковать гипотезу Крузейка, и каждый раз видел, как она застревает на одной и той же недостающей лемме . 30 июля 2026 года он спросил снова — но на этот раз ChatGPT вернул ссылку на препринт, опубликованный 27 июля, под названием «Числовая область является 2-спектральным множеством» («The Numerical Range Is a 2-Spectral Set») .

Таунсенд и Анна Гринбаум из Вашингтонского университета изучили препринт со скептицизмом. Через несколько часов они пришли к выводу, что доказательство верно . Сам Мишель Крузейк — математик, сформулировавший гипотезу 22 года назад — проверил рукопись и подтвердил ее корректность .

Открытый исходный код и независимая верификация

Цзинь сделал свой исследовательский конвейер полностью открытым, опубликовав на GitHub финальную статью, точный промпт, все последовательные версии рукописи, формализацию доказательства на языке Lean 4 и аудит аксиом .

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

Что это значит для ИИ и науки

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

Проблема не является игрушечной или головоломкой; это открытая проблема, остававшаяся нерешенной 22 года, доказательство которой было проверено и принято как математиком, который ее поставил, так и другими ведущими экспертами в этой области .