Нейрохирург доказал гипотезу Крузе с помощью 16-часового запуска GPT-5.6

30 июля 2026 года в открытом доступе появился препринт с доказательством гипотезы Крузе — задачи матричного анализа, которая оставалась нерешенной с 2004 года. Автор — не профессиональный математик, а ординатор-нейрохирург Шаньму Цзинь из больницы Пекинского объединенного медицинского колледжа. Ключевую теорему доказательства он получил за один автономный запуск GPT-5.6 Sol в режиме ChatGPT Work, который длился около 16 часов и в который Цзинь ни разу не вмешался.

Гипотеза Крузе касается числового образа квадратной матрицы — выпуклой фигуры на комплексной плоскости, которая описывает поведение матрицы. В 2004 году Мишель Крузе предположил, что для оценки роста многочлена от матрицы достаточно умножить максимум многочлена на числовом образе на 2. Сам Крузе в 2007 году доказал оценку с множителем 11.08, а в 2017-м вместе с Сесаром Паленсией улучшил до 1 + √2 ≈ 2.414. Дальше продвинуться не могли ни теоретики, ни целый недельный воркшоп, собранный специально под эту задачу. Для практиков константа важна: такие оценки переносят точность приближений на матричные функции и методы вроде GMRES, которыми решают гигантские системы уравнений.

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

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

Проверка человеком состоялась по высшему разряду. Препринт внимательно прочитали Таунсенд, Гринбаум и сам Крузе — все трое считают доказательство верным. Их ошеломила конструкция: вместо ожидаемых сильных оценок аргумент хитрой стратегией сэмплирования сводит задачу к простому условию положительности. Цзинь выложил в открытый репозиторий все: точный текст промпта, последовательные версии рукописи, формализацию доказательства на Lean и аудит использованных аксиом.

Ложка скепсиса уместна: препринт не прошел классическое рецензирование, а "проверили трое экспертов" — это еще не консенсус сообщества. В истории математики были доказательства, в которых дыры находили через месяцы. Но открытость репозитория и Lean-формализация резко снижают риски — машинная проверка не поймает разве что ошибку в самой постановке. И есть аргумент весомее: 4 августа математики Эмиль Лорист и Феликс Швеннингер выложили независимое доказательство гипотезы — другим методом и всего на пяти страницах. Они тоже использовали ChatGPT 5.6 Pro для исследования стратегий, но подчеркивают, что текст написали сами. Цзинь отреагировал на конкурентов с восторгом: два непохожих доказательства одной гипотезы почти одновременно — сильный сигнал, что результат верен.

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