Знаменитая теорема Ферма утверждает, что для любого целого n > 2 не существует натуральных чисел x, y и z таких, что xⁿ + yⁿ = zⁿ. Впервые ее доказательство сформулировал англичанин Эндрю Уайлс и его коллеги в 1994 году, заполнив вычислениями сотни страниц. В сентябре Anthropic представила первую полную формализацию Великой теоремы Ферма, выполненную десятками агентов ИИ с использованием модели, примерно сопоставимой с Claude Fable 5.1. В той работе использовалась платформа для формализации математических доказательств Prove2Me, она заняла 11 дней, а процессом руководил исследователь-человек.
В ходе нового эксперимента группа из 1000 агентов, работающих на базе ранней версии модели Claude Fable 5.2, воспроизвела это доказательство — уже без Prove2Me и участия человека. На выполнение задачи ушло 28,7 часа; при этом было затрачено в три раза меньше выходных токенов, а объем итогового доказательства оказался в семь раз меньше оригинала.
Каждый агент действовал в изолированной «песочнице» без доступа к интернету. Специальный классификатор проверял каждую команду в командной строке и каждое изменение в файлах перед их выполнением, а автономная система мониторинга отслеживала все действия группы.
Агентам ИИ был предоставлен список из 60 утверждений, краткое описание классического пути решения, необходимые определения, а также 47 лемм, доказанных ранее. Кроме того, агентам были назначены роли — «ведущие» и «помощники». Никаких других указаний относительно того, как именно доказывать теорему или как организовать совместную работу, им не давали.
«Эксперимент показывает, что группы агентов, использующие модели уровня Fable 5.2, способны достигать амбициозных целей, требующих длительной работы, — при условии соблюдения тщательно продуманных мер безопасности», — говорится в пресс-релизе.
С XVII века физики спорят о том, как лучше представлять свет — в виде волны, частицы или того и другого. Физики из США обнаружили новую связь между двумя этими точками зрения, применив теорему, созданную 350 лет назад, которая обычно применяется для описания маятников и планет, для объяснения самого сложного поведения волн света.
