Anthropic: 1000 agentów Claude Fable 5.2 odtworzyło dowód teoremu Fermata w 28,7 godziny

Anthropic informuje, że zespół 1000 agentów Claude Fable 5.2 odtworzył dowód ostatniego teoremu Fermata w 28,7 godziny, zużywając znacznie mniej zasobów niż wcześniejsza próba prowadzona przez człowieka, bez żadnych zablokowanych działań wśród ponad miliona wywołań narzędzi.

Anthropic opublikował 9 listopada 2026 roku wpis na swoim blogu dla deweloperów, opisujący eksperyment, w którym zespół 1000 agentów Claude Fable 5.2, jeden agent prowadzący i 999 agentów pomocniczych, samodzielnie odtworzył sformalizowany w Lean dowód ostatniego teoremu Fermata. Według wpisu zatytułowanego Safely scaling multi-agent teams with Claude Fable 5.2, agenci zakończyli zadanie, korzystając z wielowarstwowych zabezpieczeń i znacznie mniejszych zasobów niż wcześniejsza próba prowadzona z bezpośrednim udziałem człowieka.

Liczby stojące za tym przebiegiem

Jeden agent prowadzący koordynował 999 agentów pomocniczych, co dało łącznie 1000 agentów odtwarzających dowód
Zadanie zostało zakończone w 28,7 godziny
Przebieg zużył około jednej trzeciej tokenów wyjściowych wcześniejszego wrześniowego podejścia, a powstały dowód był około siedem razy krótszy
Wrześniowe podejście trwało 11 dni, zużyło około 6 miliardów tokenów wyjściowych i 13 milionów linii kodu Lean, przy bezpośrednim udziale człowieka
Agenci pomocniczy ocenili 47 z początkowych 60 twierdzeń jako niewykonalne w ramach budżetu, a agent prowadzący stworzył 5 tabel bazy danych do koordynacji w ciągu pierwszych 10 minut bez specjalistycznego oprzyrządowania
Warstwy zabezpieczeń obejmowały odizolowane maszyny wirtualne bez dostępu do sieci, monitor blokujący komendy w czasie rzeczywistym oraz przegląd offline

Co to oznacza dla osób budujących z AI

Anthropic przedstawia ten przebieg jako konkretny, zmierzony punkt danych dotyczący organizowania rojów agentów w skali 1000 agentów wraz z narzędziami bezpieczeństwa potrzebnymi, by robić to bezpiecznie, co jest istotne dla twórców budujących wieloagentowe systemy programistyczne i badawcze. We wpisie zaznaczono, że najtrudniejszy podproblem, znany jako Langlands-Tunnell, wygenerował 2418 zadań rozłożonych na 10 poziomów głębokości, co pokazuje, jak rozrosło się drzewo koordynacji w trakcie przebiegu. Anthropic podaje również, że z ponad miliona wywołań narzędzi wykonanych podczas przebiegu, zero zostało zablokowanych przez monitor bezpieczeństwa.

Źródła

Safely scaling multi-agent teams with Claude Fable 5.2 (Anthropic (claude.dev developer blog), 9 listopada 2026, oficjalne)

Tekst przygotowany z pomocą AI wyłącznie na podstawie źródeł wymienionych powyżej. Zanim trafił na stronę, przeszedł automatyczną kontrolę dat, źródeł i wszystkich wersji językowych.