Математик Алекс Таунсенд весь последний год регулярно просил ChatGPT доказать гипотезу Крузе — открытую задачу матричного анализа, которой он занимается профессионально. И почти год получал одно и то же: либо фальшивое доказательство, либо рассуждение, застревающее на недостающей лемме. Но 30 июля 2026 года модель повела себя иначе: вместо очередной попытки она прислала ссылку на чужой препринт, опубликованный тремя днями ранее. В нем утверждалось, что гипотеза решена. Таунсенд и его коллега Анна Гринбаум сели читать текст со скепсисом, а через несколько часов поняли: доказательство настоящее. Свою историю они рассказали в заметке от 11 августа.
Автор препринта “The Numerical Range Is a 2-Spectral Set” — не математик. Доктор Шаньму Цзинь — ординатор-нейрохирург и постдок в больнице Пекинского объединенного медицинского колледжа. По первому образованию он геолог, по второму — врач. Вся его формальная математическая подготовка — стандартные курсы для студентов-естественников. “Все сверх этого — самоучкой”, — написал он Таунсенду и Гринбаум по электронной почте.
В матричный анализ Цзинь пришел не из любви к абстракциям, а по работе: он занимается транскраниальным ультразвуком — методами, в которых ультразвук работает с мозгом прямо через кости черепа. Разбираясь в нужной ему математике, он наткнулся на гипотезу Крузе и, по его словам, был очарован сочетанием предельно простой формулировки и наглядной геометрии. Так и сложился распорядок, в который трудно поверить: днем — операционная и изнурительный график ординатуры, в свободное время — задача, перед которой два десятилетия отступали профессиональные математики. О своем результате Цзинь говорит с подчеркнутой скромностью: в том, что ключевая идея нашлась, “определенно был элемент везения”.
Сама гипотеза формулируется без единой страшной формулы. У каждой квадратной матрицы есть числовой образ — выпуклая фигура на комплексной плоскости, что-то вроде “портрета” матрицы, который рассказывает о ее поведении заметно больше, чем собственные значения. Мишель Крузе в 2004 году предположил: чтобы оценить, насколько сильно матрица может “раздуть” многочлен, достаточно посмотреть на максимум этого многочлена на портрете — и умножить на 2. Сам Крузе в 2007-м доказал оценку с множителем 11.08, а в 2017-м вместе с Сесаром Паленсией дожал до 1 + √2 ≈ 2.414. Дальше — стена: заветную двойку не могли взять ни теоретики, ни целый недельный воркшоп, собранный специально под эту задачу. Для практиков константа важна: такие оценки переносят точность приближений с комплексной плоскости на матричные функции и методы вроде GMRES, которыми решают гигантские системы уравнений.
Теперь о том, как именно Цзинь получил результат, — эта часть истории интересна далеко за пределами математики. Ключевая теорема доказательства родилась за один автономный запуск GPT-5.6 Sol в режиме ChatGPT Work длиной около 16 часов, в который Цзинь ни разу не вмешался. Промпт он не придумывал с нуля, а адаптировал тот, которым ранее OpenAI доказала гипотезу о двойном покрытии циклами. Модели явным образом запретили доступ к публичному интернету и любым внешним источникам. Промпт требовал развернуть портфель принципиально разных стратегий: множество субагентов думают над доказательством независимо, им запрещено преждевременно сходиться на одной красивой идее, каждый кандидат проходит враждебный аудит, а отбрасывать стратегию можно только с контрпримером. И главное — не сдаваться, пока полное доказательство не переживет проверку.
Проверка человеком при этом состоялась по высшему разряду. Препринт внимательно прочитали Таунсенд, Гринбаум и сам Мишель Крузе — все трое считают доказательство верным. Их, по собственному признанию, ошеломила сама конструкция: вместо ожидаемых всеми сильных оценок аргумент хитрой стратегией сэмплирования сводит задачу к неожиданно простому условию положительности. А Цзинь выложил в открытый репозиторий все: точный текст промпта, последовательные версии рукописи, формализацию доказательства на Lean и аудит использованных аксиом. Любой желающий может пройти по цепочке от запроса до теоремы.
Ложка скепсиса все же уместна. Препринт не прошел классическое рецензирование, а “проверили трое экспертов” — это еще не консенсус сообщества: в истории математики были доказательства, в которых дыры находили через месяцы. С другой стороны, именно здесь открытость репозитория и Lean-формализация резко снижают риски — машинная проверка не поймает разве что ошибку в самой постановке. И есть аргумент весомее: 4 августа, всего через восемь дней после препринта Цзиня, математики Эмиль Лорист и Феликс Швеннингер выложили независимое доказательство гипотезы — совсем другим методом и всего на пяти страницах. Они тоже раскрывают, что исследовали стратегии доказательства с помощью ChatGPT 5.6 Pro, но подчеркивают, что сам текст написали полностью сами и берут ответственность за содержание на себя. Цзинь отреагировал на конкурентов с чистым восторгом: два непохожих доказательства одной гипотезы почти одновременно — редкая удача для всей области.
Таунсенд и Гринбаум заканчивают заметку мыслью, которая звучит одновременно воодушевляюще и тревожно. Крупный вклад в математику впервые внес человек без специальной подготовки — в паре с языковой моделью. Таких эпизодов, считают они, будет все больше, и это похоже на начало золотого века прикладной математики. Вопрос в том, готова ли академия к потоку результатов, которые придется проверять: везение и 16 часов машинного времени у энтузиастов найдутся быстрее, чем свободные рецензенты у журналов.
P.S. Поддержать меня можно подпиской на канал “сбежавшая нейросеть”, где я рассказываю про ИИ с творческой стороны.
Автор: runaway_llm
