OpenAIは、未発表の内部モデルを使用して、7つの1,000,000ミレニアム賞問題の1つであるNavier–Stokesの存在と滑らかさの問題の解決を発表しました。この主張は、Tristan Buckmaster、NYUの数学教授、およびLevent Alpöge、Anthropicの数学者からの指控の中で浮上しました。彼らはOpenAIが彼らの仕事にアクセスした可能性を主張しています。

BuckmasterとAlpögeは、ClaudeとCodex（主にGPT-5.6 Sol）を使用して約1年間協力し、8月15日に画期的な成果を挙げました。Anthropicが重要な問題を解決したという噂が広まった後、OpenAIは9月1日に独自の取り組みを開始し、GPT‑6 Astraを使用して9月6日にLeanで検証された証明を完成しました。OpenAIのエージェントは270万件のメッセージを送信し、Navier–Stokesにのみ約1300億個の出力トークンを使用しました。

OpenAIは同時出版を提案しましたが、Anthropicとの競争関係からAlpögeを除外しました。Buckmasterは、OpenAIのモデルが彼らのCodexセッションで訓練されたかどうかを疑問に思いました。OpenAIはユーザーデータへのアクセスを否定しましたが、匿名化された使用データがモデルの改善につながった可能性を認めました。両方の証明は異なり、特にオイラーのケース（強制 vs. 非強制）で顕著です。この紛争は、AI支援数学的発見と知的優先順位に関する緊張関係を浮き彫りにしています。