Скорость автоматического доказательства теорем в этом месяце бьет все рекорды. На arXiv только что выложили строгое доказательство гипотезы Черни для однокластерных автоматов. Автор текста прямо указывает, что математическое решение сгенерировал OpenAI Codex на базе GPT-5.6 Sol в режиме ultra mode. Задача человека свелась к финальной проверке логических шагов.

Само решение выглядит максимально элегантно. Нейросеть вывела верхнюю оценку длины синхронизирующего слова в (n-1)^2 и самостоятельно построила комбинаторные примеры, доказывающие точность этой границы. Связка методов конечномерной линейной алгебры и комбинаторики для таких автоматов работает безупречно. Поражает именно способность модели удерживать длинный контекст сложных абстракций без логических разрывов.

Эта публикация — лишь вершина огромного айсберга! Буквально за одну неделю ИИ-модели выдали контрпример для гипотезы Якобиана в размерности 3 через Claude Fable 5 и развалили гипотезу о гауссовых моментах. Генеративные сети окончательно перешагнули этап написания простого кода и стали реальным сопроцессором для развития фундаментальной науки.