10. Тысяча агентов Claude Fable 5.2 за 30 часов формализовала теорему Ферма в Lean
Anthropic запустила 1000 агентов Fable 5.2, которые за 30 часов записали доказательство Великой теоремы Ферма на языке Lean. Opus 5.5 за то же время осилила лишь 26%. Внутренний тест CVE Rediscovery: Mythos 5.2 нашла 89.6% уязвимостей против 78.3% у Mythos 5.1.