1 000 агентов Claude доказали теорему Ферма за 28,7 часа
Anthropic поручила 1 000 агентов на ранней версии Claude Fable 5.2 заново формализовать Великую теорему Ферма. Они справились без платформы Prove2Me и без исследователя у руля. Сама Anthropic называет прогон игрушечным экспериментом: агенты получили список промежуточных утверждений, набросок классического пути и готовые леммы из сентябрьской работы.
Координацию агенты собрали сами. Ведущий агент завёл таблицы в общей базе Postgres и раздавал через них задачи помощникам. Каждый сидел в песочнице без сети, а классификатор проверял любую команду и правку файла до запуска.
Сентябрьская формализация заняла у исследователя и десятков агентов 11 дней на Prove2Me. Нынешний прогон занял 28,7 часа и потратил втрое меньше выходных токенов, чем сентябрьский.
Дальше
Meta оценила Muse Ember в треть цены Haiku 5.5 за задачу
Около $0,14 за задачу на индексе Artificial Analysis против $0,41 у Claude Haiku 5.5 при том же балле: так Meta считает выгоду своей маленькой Muse Ember. Цифры взяты с графика самой Meta, и цена в них предложенная. Мелкие задачи агента у вас крутит маленькая модель или та же большая?
Читайте также
- Полное доказательство теоремы Ферма проверил Lean
- Fable 5.2 догнала Opus 5.5 в FrontierCode за полцены
- У Anthropic 94,2% верных находок, а curl отверг 19 из 34
- Платы от Claude Fable 5.2 заработали без правок схем
- METR видит у Anthropic двукратное ускорение ИИ-разработки
- Прототип Anthropic доказывает, какая модель написала ответ
Комментарии
Пока никто не написал. Будьте первым.
Присоединяйтесь к разговору
Войдите, чтобы оставить комментарий. Он появится после модерации.