Пишут прикладные математики Алекс Таунсенд и Энн Гринбаум:

«30 июля 2026 года первый автор попросил ChatGPT 5.6 решить гипотезу Крузе (Crouzeix) — как он часто делал на протяжении предыдущего года. До того дня модель либо выдавала фиктивное доказательство, либо строила рассуждение, которое застревало на недостающей лемме. Но 30 июля она дала ссылку на препринт, выложенный 27 июля... и заявила, что гипотеза решена. Гипотеза Крузе оставалась открытой больше двух десятилетий, поэтому поначалу мы читали препринт с известной долей скепсиса, но через несколько часов поняли: рассуждение — настоящее.

Автор препринта — д-р Шаньму Цзинь, постдок и резидент по нейрохирургии в больнице при Пекинском объединённом медицинском колледже. В университете он изучал геологию, позднее получил степень доктора медицины.

Цзинь рассказал нам, что ключевой результат возник в ходе примерно шестнадцатичасового автономного прогона GPT-5.6 Sol в режиме ChatGPT Work. Читая препринт, мы были ошеломлены доказательством этой решающей теоремы...

Всякий, кто в последнее время работал с ChatGPT 5.6 над математикой, не мог не заметить, насколько поразительно вырос его уровень за последние несколько недель...

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

Поразительно осознавать, что давнюю гипотезу первым решил человек без специальной математической подготовки, работая с большой языковой моделью. Ещё несколько лет назад трудно было вообразить, что система ИИ внесёт решающую идею в доказательство крупной гипотезы. Теперь это произошло в нашей области.»