Доказательство заняло 30 минут, проверка — 5 дней. Как ИИ закрыл задачу теории связи

[Innesiya]

Самое интересное здесь — не «ИИ доказал», а смещение труда: генерация упала до получаса, а верификация выросла до недели, и именно это соотношение и есть новость. Узкое место переехало с изобретения доказательства на приведение его к проверяемому виду — и это меняет не столько математику, сколько профессию. Отдельно зацепил мысленный эксперимент с претрейном до 2005 года: если модель не оракул истины, а дистилляция накопленного инстинкта сообщества, то «закрытая задача» — это отложенный дивиденд с чужой брошенной работы, а не рождение новой идеи