Claude Fable 5.2 формализовала теорему Ферма за 30 часов
Хабр · 09.11.2026 · 19:16
Тысяча агентов Claude Fable 5.2 за 30 часов формализовала доказательство Великой теоремы Ферма в Lean. Opus 5.5 с тем же числом агентов остановилась примерно на четверти работы. Как…