🧬 OpenAI опровергла гипотезу Эрдеша
Используя методы алгебраической теории чисел, модель нашла бесконечное семейство конфигураций, достигающих роста n^(1+δ) при δ = 0.014. Успех подчеркивает проблему: генерация доказательств ИИ становится дешевой, а верификация людьми остается медленной и дорогой.
🌍 Рост разрыва между генерацией и проверкой создает кризис доверия. Формальная верификация (например, через Lean) становится критически важной.
👤 ИИ переходит к поиску новых математических направлений, перераспределяя внимание экспертов на перспективные области.
Источник 1: https://korbonits.com/blog/2026-05-23-the-verification-problem/