Claude Fable 5.2 формализовала теорему Ферма за 30 часов
Habr ·
Тысяча агентов Claude Fable 5.2 за 30 часов формализовала доказательство Великой теоремы Ферма в Lean. Opus 5.5 с тем же числом агентов остановилась примерно на четверти работы. Как проходил эксперимент и чем Fable 5.2 отличается от Mythos 5.2. Читать далее