Anthropic заставила 1000 ИИ-агентов самостоятельно восстановить доказательство теоремы Ферма за 28,7 часа

Команда Claude Fable 5.2 обошлась без специализированной платформы и постоянного руководства человека: агенты сами создали систему координации, распределили математические задачи и проверили результат в Lean Anthropic провела эксперимент с командой из 1000 ИИ-агентов на ранней версии Claude Fable 5.2 . Они за 28,7 часа формализовали доказательство Великой теоремы Ферма, используя обычные инструменты программирования, общую базу данных и Git. В отличие от предыдущей попытки, на этот раз агенты работали без специализированной платформы Prove2Me и практически без вмешательства человека. Полученное доказательство оказалось в 7 раз короче предыдущего, а количество выходных токенов сократилось втрое. Математики не могли доказать Великую теорему Ферма её более 350 лет, пока Эндрю Уайлс не представил в 1995 году доказательство объёмом 129 страниц.

Источник: iXBT