Claude Fable 5.2 координирует 1000 ИИ-агентов, которые за 28,7 часа завершили формализацию Великой теоремы Ферма
9 ноября 2026 года Anthropic опубликовала в официальном инженерном блоге результаты эксперимента с мультиагентной системой: 1000 агентов Claude Fable 5.2 совместно за 28,7 часа формализовали доказательство Великой теоремы Ферма. В итоге доказательство прошло проверку официальным ядром Lean. Первый эксперимент по формализации, проведённый двумя месяцами ранее, занял 11 дней и потребовал нескольких десятков агентов. Это не…