Математическое сообщество только что взорвалось.
Ключевая гипотеза, которая мучила ведущих математиков мира на протяжении 22 лет, была решена нейрохирургом из больницы «Сехэ»?
Он самоучкой овладел математикой, с помощью ChatGPT 5.6 в автономном режиме за 16 часов покончил с этой 22-летней математической загадкой. Это просто невероятно.
30 июля 2026 года профессор прикладной математики Вашингтонского университета Алекс Таунсенд, как обычно, открыл arXiv.
В течение предыдущего года у Таунсенда почти выработалась навязчивая привычка: он периодически задавал GPT 5.6 вопросы, пытаясь заставить её доказать знаменитую нерешённую проблему в области численной линейной алгебры — гипотезу Крузе.
За сотни предыдущих попыток ИИ либо выдавал ответы с логическими ошибками, либо заходил в тупик, пытаясь переступить через какое-то ключевое утверждение. Человечество билось об эту гипотезу целых 22 года, и ИИ, казалось, не был умнее.
Однако в этот день гипотеза Крузе, мучившая мир численной линейной алгебры целых 22 года, была доказана.
Автором оказался не математик, а ординатор-нейрохирург Пекинской больницы «Сехэ», Шаньму Цзинь.
У него не было формального высшего математического образования, в бакалавриате он изучал геологию, позже получил степень доктора медицины. Его единственным помощником был GPT-5.6.
GPT-5.6 в ходе одного автономного сеанса продолжительностью около 16 часов решила эту сложную задачу, без какого-либо вмешательства человека.
Более того, в списке проверявших значился сам Мишель Крузе — тот, кто 22 года назад предложил эту задачу, теперь лично подтвердил её решение.
Таунсенд и Гринбаум, также эксперты в этой области, посмотрев на процесс решения, описали свои чувства одним словом: «Потрясены».
Когда ординатор из «Сехэ» самоучкой изучает математику
Главный герой этой истории — Цзинь Шаньму (Shanmu Jin), постдокторант и ординатор-нейрохирург Пекинской больницы «Сехэ».
Его биография не имеет ничего общего с математикой.
Его специальность в бакалавриате была геология, позже он сменил сферу на медицину и в итоге получил степень доктора медицины. Вся его математическая подготовка ограничилась базовыми курсами, которые изучают обычные студенты естественных наук.
«Все остальные математические знания я приобрёл самостоятельно», — скромно написал доктор Цзинь в письме к авторам оригинальной статьи (Алексу Таунсенду и Энн Гринбаум).
Почему нейрохирург взялся за сложнейшую математическую гипотезу?
Всё началось с практической проблемы в клинической и научной работе доктора Цзиня: исследований с помощью транскраниального ультразвука.
Пытаясь заставить ультразвуковые волны проникнуть через сложную структуру человеческого черепа, он погрузился в обширную область «анализа матриц». В процессе самообразования он случайно наткнулся на имя, громко звучащее в мире численной линейной алгебры — гипотеза Крузе.
Формулировка этой гипотезы необычайно лаконична, и геометрическая интуиция, стоящая за ней, связанная с «численной областью», обладает удивительной красотой. Эта предельная простота и изящество глубоко привлекли этого человека, пришедшего из другой области.
Он решил попробовать. Не с помощью традиционных бумаги и карандаша, а с помощью большой модели.
«Дьявольская константа», мучившая математический мир 22 года
Почему эти математики были так потрясены? Сначала нам нужно понять, насколько сложна гипотеза Крузе.
В современной прикладной математике и инженерных вычислениях матрица (Matrix) — это универсальный язык описания работы всего сущего.
От суперпозиции состояний в квантовой механике до алгоритма PageRank в поиске Google и до итераций сверхбольших параметров при обучении больших языковых моделей сегодня — всё по сути является проекцией и эволюцией огромных матриц в комплексной плоскости.
Однако поведение ненормальных матриц (Non-normal Matrices) крайне непредсказуемо, они как стая раздражительных, неконтролируемых зверей.
Чтобы обуздать их, французский математик Мишель Крузе в 2004 году предложил прекрасную гипотезу с яркой геометрической интуицией:
Для любого полинома p на комплексной плоскости и любой матрицы A её спектральная норма всегда может быть ограничена её максимальным значением на «численной области» W(A).
А оптимальная константа между этими двумя величинами — ровно 2.
Формально это выражается так:
Это неравенство чрезвычайно важно в прикладной математике.
Если оно верно, мы сможем напрямую преобразовать ошибку приближения скалярных величин в комплексной плоскости в границы нормы матричных функций. Это имеет решающее значение для анализа матричных функций, метода GMRES, методов подпространств Крылова и других.
Однако «доказать, что эта константа равна 2» стало кошмаром для многих математиков.
Но дверь к константе «2» оставалась наглухо закрытой. До 30 июля 2026 года.
В 2007 году сам Крузе, затратив огромные усилия, смог доказать, что это неравенство выполняется с константой 11.08.
Спустя десять лет, в 2017 году, Американский институт математики (AIM) даже провёл в Сан-Хосе недельный семинар, собрав ведущих мировых экспертов для обсуждения теоретических подходов, численных свидетельств, расширений матриц и других инструментов. Крузе и его соавтор Палленсия наконец снизили эту универсальную константу до 2.414.
С тех пор человеческий математический инструментарий, казалось, исчерпал последние ресурсы.
До этого лета, когда «аутсайдер» с хирургическим скальпелем ворвался на эту территорию.
Модификация «божественных промптов», ChatGPT бежит 16 часов
Как это удалось ординатору-нейрохирургу из «Сехэ» с крайне напряжённым клиническим графиком?
Секрет в инженерии промптов (Prompt Engineering).
Доктор Цзинь не использовал ИИ как простую машину для ответов на вопросы, а превратил его в огромный виртуальный математический исследовательский институт.
Он позаимствовал и модифицировал знаменитый промпт, использованный OpenAI при решении гипотезы Cycle Double Cover, и создал стратегически продуманную схему:
Физическое отключение от сети (лишение внешних зависимостей): Промпт явно отключал доступ системы к публичному интернету и другим внешним контекстам. Он не хотел, чтобы ИИ «списывал» старые неудачные идеи человечества из поисковых систем, а заставлял его исходить из аксиом и проводить чисто оригинальные размышления.
Множественное ветвление и дивергентное мышление (отказ от преждевременной сходимости): Он потребовал, чтобы ChatGPT запустил множество «суб-агентов», заставив их исследовать по-настоящему разными путями. В инструкциях строго предупреждалось: Нельзя преждевременно сходиться к одной и той же, казалось бы, заманчивой идее!
Жесткий состязательный аудит (режим «выращивания яда»): Кандидатные стратегии доказательства должны были неоднократно подвергаться состязательной проверке. Только когда другие агенты успешно находили контрпример, путь окончательно исключался.
Решимость идти до конца: Промпт отдал железный приказ: ни в коем случае не сдаваться, пока не будет получено полное доказательство, способное выдержать экстремальную логическую проверку.
Установив всё это, доктор Цзинь нажал Enter, затем повернулся и занялся работой, больше не вмешиваясь в процесс.
В режиме ChatGPT Work GPT-5.6 Sol, словно неутомимый цифровой зверь, непрерывно нёсся в математических глубинах примерно 16 часов.
За эти 16 часов ИИ пережил десятки тысяч гипотез, опровержений, восстановлений и в итоге успешно доказал гипотезу.
Когда математики увидели эту теорему, они были глубоко поражены: ИИ не использовал чрезвычайно сложные жёсткие оценки, которые предполагали люди, а с помощью изумительно хитроумной «стратегии выборки» свел всё к неожиданно простому «условию положительности (positivity condition)».
Это как если бы люди всё время пытались силой открыть огромную железную дверь, а ИИ просто нашёл в щели крошечную точку приложения силы, лёгким толчком открыл дверь — настоящий разрыв шаблона.
Доктор Цзинь скромно заявил, что в нахождении этого ключевого подхода «определённо есть элемент удачи». Но все понимали, что шанс выпадает только тому, кто создал идеальный компас.
Ещё более достойно восхищения то, что доктор Цзинь полностью открыл этот процесс. В его репозитории на GitHub есть не только итоговая статья, но и тот божественный промпт, черновики различных итераций, код формализованного доказательства на Lean 4 и отчёт об аудите аксиом. Всё под открытым небом, для проверки всем человечеством.
Адрес с открытым исходным кодом: https://github.com/jinshanmu/CrouzeixConjecture
Препринт: https://www.preprints.org/frontend/manuscript/f5469a625a8e7313e19bbf4d6c608cff/download_pub
Второе доказательство через восемь дней, потрясение в математическом сообществе
Изначально, столкнувшись с этим неожиданно появившимся препринтом, ведущие математики отнеслись к нему с подозрением. В конце концов, «аутсайдер объявляет о решении мировой гипотезы» в математическом сообществе часто оказывается фарсом.
Но всего через несколько часов сомнения Алекса Таунсенда и Энн Гринбаум превратились в потрясение, а затем в восхищение — «Это доказательство действительно работает!»
Затем сам автор гипотезы Крузе, известный математик Мишель Крузе, лично включился в работу, скрупулёзно, строка за строкой, изучая это доказательство.
В итоге был вынесен окончательный вердикт: Рукопись доктора Цзиня верна. 22-летняя нерешённая проблема окончательно закрыта.
Однако академическое землетрясение, вызванное ИИ, только начиналось.
Всего через 8 дней после публикации препринта доктора Цзиня (4 августа) два других математика, Эмиль Лорист и Феликс Швеннингер, внезапно опубликовали независимое доказательство объемом всего 5 страниц!
Название: РЕШЕНИЕ ГИПОТЕЗЫ КРУЗЕ (A SOLUTION TO CROUZEIX’S CONJECTURE)
Препринт: https://arxiv.org/pdf/2608.03841
Идея этого 5-страничного доказательства полностью отличается от доказательства доктора Цзиня, оно крайне краткое и изящное, сочетающее классическое представление двойного слоя с леммой о возмущении для 2-расширения.
Для традиционных математиков такой способ доказательства больше соответствует привычным человеческим представлениям и кажется более «дружелюбным».
Совпадение: Лорист и Швеннингер признались, что при исследовании стратегий доказательства они также использовали ChatGPT 5.6.
Проблема, не решавшаяся 22 года, с помощью ИИ всего через 8 дней породила два совершенно разных, но одинаково изящных доказательства!
Узнав об этом, доктор Цзинь не расстроился из-за того, что у него «украли славу», а испытал чистейшую радость, посчитав это интересным дополнением к своему методу.
Рассвет золотого века
Этим летом 2026 года шестерёнки истории тихо повернулись.
В истории математики немало медиков, добившихся важных математических результатов, но все они были гениями, получившими в своё время специальное математическое образование.
Возможно, это первый случай, когда давно нерешённая гипотеза была полностью решена врачом без специальной математической подготовки, с помощью ИИ.
Ещё несколько лет назад представить, что система ИИ сможет внести «решающую идею доказательства» в серьёзную гипотезу, было просто немыслимо.
Но сейчас это произошло на самом деле.
Это как два скачка в истории астрономии.
Первый — когда астрономы должны были вручную вычислять данные об орбитах, и лишь немногие вундеркинды могли заглянуть в звёздное небо. Второй — когда Галилей создал телескоп.
Это, без сомнения, начало «золотого века» для прикладной математики и всей науки в целом. Научные открытия будут ускорены беспрецедентно, барьеры между различными дисциплинами будут с лёгкостью разрушены ИИ.
Но в то же время это означает переосмысление идентичности. Когда огромные вычислительные мощности начинают брать на себя вывод, когда нейрохирург в перерывах между операциями тоже может сорвать жемчужину с математической короны, определение «стать математиком» или «стать учёным» переживает сильное потрясение и обновление.
Будущее уже здесь. Взяв в руки этот телескоп ИИ, подумали ли вы, на какую часть звёздного неба вы нацелитесь?
Источники:
https://alextownsend.net/essays/SIAMNews_CrouzeixConjecture.pdf
https://www.preprints.org/manuscript/202607.1919
https://aimath.org/pastworkshops/crouzeix.html
Эта статья из официального аккаунта WeChat «Новая эра искусственного интеллекта» (新智元), автор: ASI启示录, редактор: Давид
