Математик с помощью GPT-5.6 нашел доказательство гипотезы над которой бились 22 года

Алекс Таунсенд, математик, посвятивший себя изучению гипотезы Крузе — известной открытой проблемы матричного анализа, — целый год просил ChatGPT найти доказательство. Модель упорно выдавала либо ошибочные рассуждения, либо останавливалась на недостающей лемме. Казалось, задача не под силу искусственному интеллекту. Но 30 июля 2026 года все изменилось. Вместо очередной попытки ChatGPT прислал ссылку на свежий препринт, появившийся тремя днями ранее. В нем уже утверждалось, что гипотеза решена.

Таунсенд и его коллега Анна Гринбаум отнеслись к находке скептически — слишком много раз они видели ложные следы. Однако, начав чтение, они уже не могли оторваться. Через несколько часов стало ясно: перед ними настоящее доказательство. Никаких подтасовок, никаких пропущенных шагов.

Свою историю математики рассказали в заметке 11 августа. Этот случай примечателен не только самой гипотезой, но и ролью нейросети: ChatGPT не вывел доказательство сам, но нашел его в чужой работе и связал исследователей с результатом. Это яркий пример того, как искусственный интеллект становится незаменимым помощником в науке.