Anthropic hat zum Start von Claude Fable 5.2 den Beweis des letzten Satzes von Fermat in eine maschinenprüfbare Form übertragen lassen. Daran arbeiteten 1 000 KI-Agenten rund 30 Stunden. Der Beweis ist nicht neu, es geht um die formale Übersetzung. Die Aktion zeigt, was Teams aus vielen Agenten leisten, und fällt in eine Konkurrenz mit OpenAI und Google.
Inhalt 7 Abschnitte
1 000 KI-Agenten haben in 30 Stunden einen berühmten Beweis in eine Form übertragen, die ein Computer Zeile für Zeile prüfen kann. Anthropic nutzte das als Schaustück zum Start von Claude Fable 5.2.
Auf einen Blick
- Anthropic setzte 1 000 KI-Agenten ein, um den letzten Satz von Fermat maschinenprüfbar zu machen.
- Die Arbeit dauerte rund 30 Stunden. Das Ergebnis ist eine formale Übersetzung des bestehenden Beweises.
- Es gibt keinen neuen Beweis. Die Aktion dient als Leistungsschau für das neue Modell.
- Auch OpenAI und Google melden Fortschritte in der Mathematik, der Wettbewerb ist offen.
Was Anthropic konkret getan hat
Anthropic hat Claude Fable 5.2 am 9. November angekündigt. Zum Start liess das Unternehmen ein Team aus 1 000 KI-Agenten am letzten Satz von Fermat arbeiten. Dieser Satz hat Fachleute rund 350 Jahre beschäftigt.
Die Agenten haben den bestehenden Beweis in eine Sprache übertragen, die ein Computer prüfen kann. Dabei wird jeder Schritt einzeln kontrolliert. Das Werkzeug dafür heisst Lean. Numerama hat die Meldung am 10. November 2026 veröffentlicht.
Die Arbeit dauerte rund 30 Stunden. Die beteiligten Ingenieure haben den Ablauf in einem eigenen Bericht beschrieben. Der Titel verweist auf das sichere Skalieren von Agententeams.
Warum das kein neuer Beweis ist
Die Quelle betont eine Grenze. Anthropic hat nichts bewiesen, was vorher unbekannt war. Der Satz galt als bewiesen. Neu ist nur, dass der Beweis jetzt in einer streng formalen Fassung vorliegt.
So lässt sich jeder Schritt automatisch prüfen. Das ist eine Art Gegenprobe durch die Maschine. Sie ersetzt die Prüfung durch menschliche Fachleute, die sonst nötig wäre.
Damit wird die Aktion zur Demonstration. Sie zeigt, dass viele Agenten über viele Stunden an einer riesigen Aufgabe arbeiten können. Der Nutzen liegt im Vorführeffekt und im Test der Methode.
| Kennzahl | Wert | Bedeutung |
|---|---|---|
Anzahl Agenten |
1 000 |
Ein grosses Team arbeitet parallel |
Dauer |
rund 30 Stunden |
Kurz gemessen am Alter des Problems |
Alter des Problems |
350 Jahre |
Sinnbild für ein schwieriges Ziel |
Ergebnis |
formale Übersetzung |
Kein neuer mathematischer Beweis |
Der Wettbewerb um mathematische Leistung
Numerama ordnet die Aktion in einen Wettlauf ein. Auch OpenAI und Google beanspruchen mathematische Durchbrüche für sich. Anthropic zieht mit einer eigenen Demonstration nach.
Für die Praxis zählt dabei weniger die Mathematik als die Technik dahinter:
- Viele Agenten teilen sich eine grosse Aufgabe.
- Ein Prüfwerkzeug kontrolliert jeden Zwischenschritt.
- Die Laufzeit erstreckt sich über Stunden, nicht Minuten.
Zudem lässt sich dieses Muster auf andere Gebiete übertragen, in denen Ergebnisse formal prüfbar sind. Die Quelle nennt dazu keine konkreten Beispiele, das bleibt deshalb offen.
Einordnung: Was das für Entwickler und Teams heisst
Die Meldung betrifft vor allem Entwickler und Teams, die mit Agenten arbeiten. Sie zeigt, dass ein Verbund aus 1 000 Agenten eine lange, klar prüfbare Aufgabe erledigen kann. Handeln muss niemand, denn es gibt weder Frist noch Update-Pflicht. Preise oder Kosten nennt die Quelle nicht. Wer das Muster für eigene Projekte prüfen will, findet im Bericht der Ingenieure die Details zum sicheren Betrieb grosser Agentenverbünde. Den genauen Ablauf muss man dort nachlesen.
Fazit
Anthropic hat mit Fable 5.2 gezeigt, was ein Team aus 1 000 Agenten in 30 Stunden schafft. Der Beweis selbst ist nicht neu, die formale Prüfung schon. Als nächster Schritt lohnt der Blick in den Ingenieurbericht, um die Methode für eigene Aufgaben einzuschätzen.
Quellen: Numerama. Foto: StruffelProductions / Pixabay. Stand: 12. November 2026.
Geschrieben von der Redaktion · Freigegeben von Andreas Brauckmann · So arbeitet die Redaktion
Änderungshistorie
- — Artikel veröffentlicht.