🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
🧮 Claude 11 дней доказывал теорему Ферма — и справился
Anthropic объявила о первом полностью машинно-проверенном доказательстве великой теоремы Ферма: десятки агентов Claude работали почти автономно 11 дней в специальной среде Prove2Me, написали 13 млн строк кода на Lean и доказали около 30 тысяч промежуточных теорем. Корректность подтвердил известный математик.
Чем это полезно: раньше похожие попытки проваливались — агенты теряли состояние проекта и заходили в тупик. Ключом стал не сам код, а каркас Prove2Me: он разбивает задачу на подзадачи, заставляет агентов проверять друг друга и не терять контекст. Это наглядный урок для любой долгой агентной автоматизации: результат даёт не одна мощная модель, а правильно организованная многоагентная связка.
Показательно и то, что формализация другой классической теоремы (Виноградова) заняла у трёх агентов на обычных подписках Claude Max всего три дня. Доказательство открыто на GitHub — можно посмотреть, как устроена работа. Если строите агентов для сложных задач, изучите среду Prove2Me: декомпозиция, перекрёстные проверки и общее состояние — рабочий рецепт.
🌐 Источник: Anthropic
#ИИ #агенты #автоматизация #Claude