Нейрохирург доказал гипотезу, над которой математики бились 22 года, с помощью 16-часового прогона GPT-5.6
Нейрохирург доктор Шанму Цзинь доказал гипотезу Круазе — давнюю проблему в теории матриц, — и ему помог 16-часовой автономный прогон модели GPT-5.6 Sol от OpenAI. Его доказательство проверили несколько математиков, включая автора гипотезы, а через несколько дней появилось второе независимое доказательство. Это знаковое событие: крупный математический вклад любителя в паре с ИИ-моделью.
Математик Алекс Таунсенд почти год просил ChatGPT доказать гипотезу Крузейкса, но модель постоянно выдавала ложные или неполные доказательства. 30 июля 2026 года ChatGPT вернул ссылку на препринт, опубликованный тремя днями ранее, в котором утверждалось о решении. Таунсенд и его коллега Анна Гринбаум прочитали его скептически и вскоре поняли, что оно подлинное. Автор, доктор Шаньму Джин, является
Показать ещё ↓
Источник: Habr — хаб ИИ —
оригинал