Тысяча агентов Claude Fable 5.2 за 30 часов формализовала доказательство Великой теоремы Ферма в Lean. В таком же эксперименте Opus 5.5 осилила 26% формализации за первые 18 часов и почти не продвинулась за оставшиеся 12.
Anthropic опубликовала оба прогона в анонсе Fable 5.2 и Mythos 5.2.Великая теорема Ферма утверждает, что для целого n > 2 у уравнения aⁿ + bⁿ = cⁿ нет решений в положительных целых числах.
Ria24.today - агрегатор самых свежих новостей ведущих новостных сайтов со всего мира. 300+ информационных ресурсов на одном сайте, экономьте своё время.
Самые свежие новости на главной странице, чтобы вы всегда были в курсе, и владели информацией, полученной из разных источников, порой, с диаметральными политическими взглядами.
Актуальные новости 24 часа в сутки, 7 дней в неделю!
©2026. Все права защищены.
habr.com