Тысяча агентов Claude Fable 5.2 за 30 часов формализовала доказательство Великой теоремы Ферма в Lean. Opus 5.5 с тем же числом агентов остановилась примерно на четверти работы. Как проходил эксперимент и чем Fable 5.2 отличается от Mythos 5.2. Читать далее
Continue to Habr →You are being forwarded in 6s — stay on this page