GPT‑5.6 помог нейрохирургу доказать 22‑летнюю гипотезу Крузе
Математик Алекс Таунсенд использовал 16‑часовой запуск GPT‑5.6, который нашёл свежий препринт с решением гипотезы Крузе, открытой более двух десятилетий.
В конце июля 2026 года математик Алекс Таунсенд, работающий над гипотезой Крузе в матричном анализе, наконец получил от модели GPT‑5.6 то, чего не удавалось достичь почти год. Ранее ChatGPT предлагал либо фальшивые доказательства, либо застревал на недостающих леммах. На 30‑й день 16‑часового «рана» модель прислала ссылку на препринт, опубликованный всего три дня назад, где авторы заявляли о полном решении гипотезы. Таунсенд совместно с коллегой Анн проверил работу, и результаты подтвердились – гипотеза Крузе, открытая в 2004 году, официально решена.
Эта история стала первой публичной демонстрацией того, как крупные языковые модели могут выступать в роли научного помощника, находя и интегрируя новейшие исследования в режиме реального времени. GPT‑5.6, построенный на архитектуре трансформеров с 1,2 триллиона параметров, обладает улучшенными способностями к «chain‑of‑thought» и более точным поисковым запросам, что позволило ей быстро отфильтровать релевантные материалы.
Для академического сообщества это событие открывает новые горизонты: автоматизированный поиск и предварительный анализ литературы могут ускорить исследовательские циклы, а также снизить риск пропуска ключевых открытий. При этом остаётся вопрос надёжности и необходимости независимой верификации выводов, полученных от ИИ.
Подробнее о гипотезе Крузе и работе GPT‑5.6 читайте в оригинальной статье на Habr AI: https://habr.com/ru/articles/1070328/
Для разработчиков AI‑инструментов это подтверждает ценность интеграции продвинутых поисковых модулей и цепочек рассуждений. Студентам и исследователям стоит рассматривать такие модели как «умных ассистентов», но помнить о необходимости критической проверки полученных результатов. Возможность быстро находить свежие препринты может стать конкурентным преимуществом в академических проектах, однако риск распространения недостоверных выводов требует строгих протоколов верификации.