OpenAI hat eine Lösung des Navier–Stokes-Existenz- und Glätigkeitsproblems bekannt gegeben, eines der sieben 1,000,000 Millennium-Preis-Probleme, unter Verwendung eines internen Modells, das noch nicht veröffentlicht wurde. Die Behauptung stellte sich inmitten von Vorwürfen von Tristan Buckmaster, einem Professor für Mathematik an der NYU, und Levent Alpöge, einem Mathematiker bei Anthropic, die behaupten, OpenAI könnte auf ihre Arbeit zugegriffen haben.

Buckmaster und Alpöge arbeiteten fast ein Jahr lang mit Claude und Codex (hauptsächlich GPT-5.6 Sol) zusammen und erreichten am 15. August einen Durchbruch. Nachdem Gerüchte verbreitet worden waren, dass Anthropic ein wichtiges Problem gelöst hatte, startete OpenAI am 1. September seinen eigenen Versuch und vervollständigte am 6. September einen Lean-verifizierten Beweis mit GPT‑6 Astra. Die Agenten von OpenAI sendeten 2,7 Millionen Nachrichten und verwendeten für Navier–Stokes allein etwa 130 Milliarden Ausgabetoken.

OpenAI bot eine gleichzeitige Veröffentlichung an, schloss jedoch Alpöge aufgrund konkurrierender Beziehungen zu Anthropic aus. Buckmaster fragte, ob das Modell von OpenAI mit ihren Codex-Sitzungen trainiert wurde; OpenAI leugnete den Zugriff auf Benutzerdaten, räumte jedoch ein, dass de-identifizierte Nutzungsdaten die Modelle verbessern könnten. Beide Beweise unterscheiden sich, insbesondere im Euler-Fall (gezwungen vs. nicht gezwungen). Der Streit wirft Spannungen um KI-gestützte mathematische Entdeckungen und intellektuelle Priorität auf.

Schlüsselentitäten: Unternehmen: OpenAI, Anthropic, NYU | Personen: Tristan Buckmaster, Levent Alpöge | Standorte: NYU