Am 9. November 2026 hat Anthropic in seinem Entwicklerblog ein Multi-Agenten-Experiment vorgestellt: 1.000 Agenten mit einer frühen Version von Claude Fable 5.2 haben den formalisierten Beweis von Fermats letztem Satz in nur 28,7 Stunden reproduziert. Im September hatte derselbe Beweis einen Forscher und Dutzende Agenten 11 Tage und rund 6 Milliarden Output-Token gekostet. Diesmal lag die Tokenzahl bei einem Drittel des Septembers, der Beweis war ein Siebtel so lang – und es gab weder einen Forscher, der die Arbeit leitete, noch die eigens dafür gebaute Kollaborationsplattform Prove2Me.
Niemand leitete – die Arbeitsteilung entstand von selbst
Das Experiment gab den Agenten nur 60 zu beweisende Aussagen, eine Ein-Satz-Skizze des klassischen Beweiswegs, die Definitionen, die diese Aussagen verwenden, und 47 bereits bewiesene Lemmata; wie sie sich organisieren, blieb ganz ihnen überlassen. In den ersten 10 Minuten legte der Lead-Agent fünf Tabellen in einer gemeinsamen Datenbank an: Anweisungen, Zuweisungen, Notizen, eine To-do-Liste und ein Protokoll fertiger Arbeit. Nach 27 Minuten waren bereits drei Aussagen bewiesen. Der Lead legte daraufhin 47 Aussagen beiseite, die die meisten Helfer innerhalb des Budgets für unbeweisbar hielten, und konzentrierte alle auf die übrigen 10; die Teams wuchsen von etwa 17 Helfern auf 46 bis 139. Jeder Agent lief in seiner eigenen leichtgewichtigen virtuellen Maschine ohne Netzwerkzugang, rief die Claude API nur über ein Gateway auf und teilte Arbeit über die Datenbank und ein Git-Repository.
Tausend Agenten, die gleichzeitig arbeiten, brauchen auch Kontrolle. Anthropic legte drei Schichten um das Team: Sandboxing, Echtzeitüberwachung und nachträgliche Prüfung. Jeder Shell-Befehl und jede Dateiänderung jedes Agenten lief zuerst durch einen Klassifikator, der prüfte, ob jemand aus der Sandbox ausbrechen oder die Überwachung manipulieren wollte; eine einzige Blockade stoppt das ganze Team, bis ein Mensch sie prüft. Bei über einer Million Tool-Aufrufen im Lauf erreichte keiner die Schwelle zum Blockieren. Anthropic mahnt zugleich, dass dies nur ein „Spielzeugexperiment" war, ausgeführt mit einer Modellversion, die ihre vollständige Pre-Release-Alignment-Bewertung noch nicht durchlaufen hatte – die Schlussfolgerungen lassen sich nicht direkt in die Produktion übertragen.
Das wirklich Interessante an diesem Experiment ist nicht, dass „KI einen mathematischen Satz beweisen kann", sondern dass ein Team von Agenten ohne Leitung seine eigene Koordinationsstruktur aufgebaut hat. Im September trugen die Prove2Me-Plattform und ein Forscher das Ganze; diesmal reichten allgemeine Werkzeuge und eine gemeinsame Datenbanktabelle. Multi-Agenten-Teams standen schon früher auf dem Prüfstand: Ein früheres Experiment ergab, dass ein Multi-Agenten-Team 5,1-mal so viel kostete, während sich die Qualität kaum veränderte. Doch der Preis ist ebenso deutlich: 1.000 Sandboxes, über eine Million Aufrufe, 28,7 Stunden Dauerbetrieb – im Tausch gegen eine Demonstration mit klaren Grenzen. Ob Multi-Agenten-Systeme von der Demonstration zur alltäglichen Produktivität kommen, hängt von Kosten, Stabilität und der Fähigkeit ab, sie zu stoppen, wenn sie außer Kontrolle geraten.
