Агенты Claude за 11 дней формализовали Великую теорему Ферма

Несколько десятков агентов Claude написали 13 млн строк на Lean и собрали компьютерно проверяемую версию доказательства Великой теоремы Ферма. Работа заняла 11 дней и потребовала около 6 млрд выходных токенов.

Новой математики здесь нет: система воспроизвела доказательство Уайлса по литературе 1995 года. Зато эксперимент показал другой сдвиг — код теперь создаётся быстрее, чем люди успевают его рецензировать.

🔗 Читать: https://mltimes.ai/agenty-claude-za-11-dney-formalizovali-velikuyu-teoremu-ferm/