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

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

Таунсенд и его коллега Анна Гринбаум скептически взялись читать текст, но через несколько часов поняли: доказательство настоящее. Свою историю они рассказали в заметке от 11 августа. Примечательно, что модель не сама решила задачу, а эффективно использовала свою память и поиск, связав запрос с недавно опубликованной работой.