Ein OpenAI-Agentenschwarm reklamiert das Navier-Stokes-Blowup — 10.000 Agenten, 88 Stunden, das Clay Institute erkennt die Prämien-Kriterien nicht an

Das Wichtigste in 30 Sekunden

• OpenAI-Agentenschwarm reklamiert Navier-Stokes-Blowup. Am Dienstag publizierte OpenAI einen Beweis, den 10.000 Agenten in 88 Stunden erzeugten — die Lean-Verifikation folgte in 17 Stunden, das Clay Mathematics Institute erkennt die Prämien-Kriterien bislang nicht an.
• DeepMind kartiert 9 Mrd. DNA-Varianten. Der AlphaGenome-Atlas prognostiziert die molekularen Effekte jeder möglichen Einzelbasenmutation im menschlichen Genom — nach Nature der erste konsistente Nullhypothesen-Score für nicht-kodierende Mutationen.
• Newsom unterzeichnet die ersten AI-Audit-Gesetze der USA. Am Mittwoch zeichnete er SB 813 und AB 1405 — ab 2029 ist keine AI-Compliance-Prüfung in Kalifornien ohne Auditor-Registrierung mehr zulässig.
• Harvey Legal schließt $550 Mio. bei $15,6 Mrd. Bewertung. Am Mittwoch meldete Bloomberg die Serie F — kumuliertes Funding damit über $1,5 Mrd. und die höchste Legal-Vertical-Bewertung am Markt.

OpenAI-Agentenschwarm meldet Navier-Stokes-Blowup — Clay Institute skeptisch

Am Dienstag, dem 8. September, publizierte OpenAI unter dem Titel „On the Navier–Stokes Millennium Prize Problem" einen Beweisartikel, der ein finit-time-Blowup für die dreidimensionalen inkompressiblen Navier-Stokes-Gleichungen unter glatter äußerer Kraft etabliert. Das Ergebnis entstand nicht in einem einzelnen Modell-Lauf, sondern durch einen orchestrierten Schwarm von 10.000 autonomen Agenten, die laut OpenAI rund 2,7 Mio. Nachrichten und rund 130 Mrd. Output-Tokens produzierten. Die Agenten erreichten die Lösung am Samstag, 5. September, rund 88 Stunden nach Start; die Lean-Formalisierung in GPT-6 Astra beanspruchte weitere 17 Stunden Compute.

Der harte Ausgangspunkt liegt öffentlich vor. Das Beweis-Repositorium openai/NavierStokesAndEuler enthält den Lean-Beweis, das maschinelle Erzeugungsprotokoll und einen mathematischen Kommentartext. Quanta Magazine rekonstruiert die Chronologie: OpenAI startete den Rechenlauf am 1. September, nachdem Gerüchte über einen unabhängigen Fortschritt am 15. August zirkulierten. Nach OpenAI-Angaben liefert das Ergebnis die „Statements C und D" der Clay-Institute-Formulierung, nicht aber A und B — der zentrale Prämienanspruch (kein Blowup unter glatten Anfangsdaten ohne äußere Kraft) bleibt offen. OpenAI verzichtet explizit auf die $1-Mio.-Prämie.

Der Vorgang zieht mehrere Signalfelder gleichzeitig. Erstens: Die Lean-Verifikation macht ein LLM-erzeugtes Argument formal überprüfbar; der 17-Stunden-Aufwand ist niedrig genug, um die Methode für ganze Papierstapel zu skalieren. Zweitens: Die 10.000-Agenten-Architektur zeigt operativ, dass koordinierte Reasoning-Schwärme auf Frontier-Modellen bereits nicht-triviale Ergebnisse in Reichweite bringen — das eingesetzte Modell ist öffentlich nicht zugänglich. Drittens: Der Prämien-Verzicht schreibt die PR-Ökonomie neu; das Investoren-Signal ist wichtiger als der Preisanspruch, wenige Wochen vor Anthropics angepeilter Oktober-Roadshow.

Die Zweitmeinung ist scharf. Das Clay Mathematics Institute hat den Beweis laut Quanta Magazine bis Redaktionsschluss nicht anerkannt; die Prämienkriterien verlangen ein Blowup ohne äußere Kraft, was OpenAIs Argument nicht liefert. NYU-Mathematiker Tristan Buckmaster und Anthropic-Forscher Levent Alpöge beanspruchen laut New York Times die Priorität — sie hätten den strukturellen Durchbruch am 15. August unabhängig erreicht, OpenAI habe erst danach den Rechenlauf gestartet. Der Streit ist damit weniger einer über Mathematik als über die epistemische Rolle von Agenten-Schwärmen: OpenAI vermarktet das Ergebnis als AGI-Kapazität, Buckmaster als Nachbau eines menschlichen Fortschritts.

Was als Nächstes passiert: OpenAI kündigte am Donnerstag „substantielle Fortschritte" bei einem zweiten Millennium-Prize-Problem an — die Hodge-Vermutung wird in inoffiziellen Kanälen genannt, ist von OpenAI aber nicht bestätigt. Für die Frontier-Debatte relevanter ist die zweite Testfrage: Ob externe Mathematiker die 130-Mrd.-Token-Spuren replizieren können und ob Lean-Verifikation als Standard-Sozialisationsschritt in der Fach-Community durchsetzbar ist. Für die formale Anerkennung des Blowups muss OpenAI zudem ein Argument ohne externe Kraft liefern — das ist die eigentliche Prämien-Latte.

Kurz notiert

DeepMind kartiert 9 Mrd. DNA-Einzelmutationen. Am Dienstag veröffentlichte Google DeepMind den AlphaGenome-Atlas — eine öffentliche Datenbank mit prognostizierten Effekten für jede mögliche Einzelbasenmutation im menschlichen Genom, rund 9 Mrd. Varianten. Das Modell nutzt die AlphaGenome-Nachfolgearchitektur und liefert pro Variante bis zu 20 molekulare Endpunkte (Genexpression, Splicing, Chromatin). Laut Nature haben genetische Diagnostiker damit erstmals einen konsistenten Nullhypothesen-Score für nicht-kodierende Mutationen, den viele klinische Panels bislang mit heuristischen Wahrscheinlichkeitsmodellen behandeln.

NSA/CISA/FBI benennen sechs chinesische Distillation-Akteure. Am selben Dienstag publizierten NSA, CISA und FBI die gemeinsame Cybersecurity Advisory „China-Based AI Companies' Malicious Distillation Against US". Namentlich genannt: DeepSeek, Moonshot, Alibaba, MiniMax, StepFun und Z.AI. Nach Behörden-Einschätzung sammeln die Akteure seit Ende 2024 Chain-of-Thought-, SFT- und RL-Traces von Claude-, GPT-, Gemini- und Grok-Modellen über native APIs, Aggregatoren und geteilte Premium-Konten. Die Empfehlungen an US-Labs sind operativ: Subscription-to-Usage-Ratios monitoren, Verdachtsqueries selektiv degradieren, Telemetrie zwischen Anbietern teilen — ein bislang nicht existierender Koordinationsraum.

Kalifornien richtet die erste AI-Audit-Struktur der USA ein. Am Mittwoch, dem 9. September, unterzeichnete Gouverneur Gavin Newsom SB 813 und AB 1405. SB 813 (Senator Jerry McNerney) etabliert unabhängige Verifikationsorganisationen und eine California AI Standards and Safety Commission für freiwillige Standards. AB 1405 (Assemblymember Rebecca Bauer-Kahan) richtet ein staatliches AI-Auditor-Register ein — ab 2029 darf niemand mehr AI-Compliance-Prüfungen in Kalifornien ohne Registrierung durchführen; die Unabhängigkeitsregeln lehnen sich laut Transparency Coalition an US-Wirtschaftsprüfer-Standards an.

Harvey erreicht $15,6 Mrd. — höchste Legal-Vertical-Bewertung am Markt. Am Mittwoch schloss Harvey seine Serie F über $550 Mio. — post-money-Bewertung $15,6 Mrd., kumuliertes Funding jetzt über $1,5 Mrd. Das Startup baut proprietäre Modelle und Agenten-Infrastruktur für Anwaltskanzleien und rückt bei Umsatz-Multiple in die Nähe reiner Foundation-Model-Labs. Die zentrale offene Frage bleibt, wie stabil die Enterprise-Retention gegen horizontale Frontier-Angebote (ChatGPT Legal, Claude Legal Workspace) ausfällt — die $15,6-Mrd.-Bewertung preist eine überproportionale Vertikalisierungs-Prämie ein, die sich in den kommenden vier Quartalen ausweisen muss.

Anthropic dokumentiert erstmals biologische Missbrauchsfälle. Am Donnerstag veröffentlichte Anthropic den Threat Intelligence Report September 2026 — Berichtszeitraum Dezember 2025 bis August 2026. Der Bericht listet Cyber-Operationen, Überwachung, Einflussnahme, konventionelle Waffen, biologischen Missbrauch, Betrug und Modell-Distillation. Fünf spezifische biologische Fälle könnten laut New York Times Waffenentwicklung unterstützt haben; Anthropic hat die zugehörigen Konten deaktiviert und in vier Fällen an US-Behörden übergeben. Damit ist Anthropic das erste Frontier-Labor, das eine konkrete Zahl biologisch relevanter Missbrauchsfälle offenlegt — bislang blieben solche Angaben intern.

Zahl der Woche

10.000 — die Anzahl autonomer Agenten, die laut OpenAI den Navier-Stokes-Blowup-Beweis in 88 Stunden erzeugt haben. Zur Einordnung: Das entspricht rund 2,7 Mio. Nachrichten und ~130 Mrd. Output-Tokens — mehr Text, als die englische Wikipedia enthält, in einem einzigen Reasoning-Lauf. Die anschließende Lean-Formalisierung dauerte weitere 17 Stunden, GPT-6 Astra prüfte den Beweis Zeile für Zeile gegen die formalen Grundlagen. Das Clay Mathematics Institute erkennt die Prämie bislang nicht an — die relevantere Frage ist aber weniger die $1-Mio.-Latte als eine andere: Wenn 10.000 Agenten in 88 Stunden ein formalisiertes Argument für eine der historischen offenen Mathematikfragen bauen, schrumpft die operative Distanz zwischen Frontier-Labor und mathematischer Fach-Community strukturell auf Tage.

Leseempfehlung

„AI Has Solved One of Math's $1 Million Millennium Prize Problems" (Quanta Magazine, 8. September 2026). Wenige Redaktionen erklären mathematische Forschungsergebnisse so präzise wie Quanta; der Artikel rekonstruiert die Chronologie zwischen dem Buckmaster/Alpöge-Durchbruch am 15. August, dem OpenAI-Rechenlauf ab 1. September und der Lean-Verifikation vom 5. September Schritt für Schritt. Wer verstehen will, warum das Clay Institute die Prämie nicht zuerkennt, was „Statement C und D" bedeuten und wo die Grenze zwischen agentischem Beweis und mathematischer Anerkennung verläuft, findet hier den einen Text, der alle Ebenen zugleich hält. quantamagazine.org ↗

---

Dieses Briefing erscheint jeden Freitag auf agi.jetzt — schau regelmäßig vorbei. Alle Daten live im Dashboard →