Агенты Anthropic выкатили первое полное проверенное доказательство Великой теоремы Ферма. 11 дней автономной работы — и 13 млн строк Lean с 30 000 теорем внутри. До этого формализация того же доказательства занимала годы усилий математического сообщества. Внутри хаоса. До появления shared directed acyclic graph агенты теряли состояние проекта и повторяли работу друг друга. DAG стал общей памятью команды: каждый агент видел, что уже сделано, и не наступал на чужие грабли. Это решило проблему, а не мощность модели. Масштаб. Проект Тяньи Пэна сгенерировал 6 млрд выходных токенов. Оригинальное доказательство Уайлса — 129 страниц, черновик формализации — 86 страниц. Огромный объём работы, который раньше был уделом посвящённых. Верификация сообществом Lean не завершена, и устройство DAG остаётся чёрным ящиком — непонятно, насколько подход переносится за пределы формализации математики. Что это значит: победила не большая модель, а правильная архитектура памяти. Координация важнее вычислений.