Нейросеть не стала сочинять ответ и вывела математикам готовое решение задачи, над которой бились 22 года.
Алекс Таунсенд годами просил ChatGPT помочь с гипотезой Крузе и почти всегда упирался в фальшивые доказательства или тупик без нужной леммы. 30 июля 2026 года модель вместо очередной версии дала ссылку на свежий препринт, где уже утверждалось, что задача решена. Таунсенд и Анна Гринбаум проверили текст и через несколько часов подтвердили: доказательство рабочее.
Для айтишников это хороший сигнал: ИИ уже умеет не только генерировать текст, но и находить свежие источники и экономить часы ручной проверки. IT Пенза — t.me/it_penza
IT Пенза
@it_penza
Нейросеть не стала сочинять ответ и вывела математикам готовое решение задачи, над которой бились 22 года.
Источники: