OpenAI anunció una resolución al problema de existencia y suavidad de Navier–Stokes, uno de los siete problemas de 1,000,000 de los Premios Milenio, utilizando un modelo interno no publicado. La afirmación surgió en medio de acusaciones de Tristan Buckmaster, profesor de matemáticas de NYU, y Levent Alpöge, matemático en Anthropic, quienes alegan que OpenAI pudo haber accedido a su trabajo.

Buckmaster y Alpöge colaboraron durante casi un año utilizando Claude y Codex (principalmente GPT-5.6 Sol), logrando un avance el 15 de agosto. Después de que se esparjeran rumores de que Anthropic había resuelto un problema importante, OpenAI lanzó su propio esfuerzo el 1 de septiembre, completando una prueba verificada en Lean el 6 de septiembre utilizando GPT‑6 Astra. Los agentes de OpenAI enviaron 2.7 millones de mensajes y utilizaron aproximadamente 130 mil millones de tokens de salida solo en Navier–Stokes.

OpenAI ofreció una publicación concurrente pero excluyó a Alpöge debido a vínculos competitivos con Anthropic. Buckmaster cuestionó si el modelo de OpenAI se entrenó en sus sesiones de Codex; OpenAI negó acceder a datos de usuarios pero reconoció que los datos de uso desidentificados podrían haber mejorado los modelos. Ambas pruebas difieren, notablemente en el caso de Euler (forzado vs. no forzado). El conflicto resalta las tensiones en torno al descubrimiento matemático asistido por IA y la prioridad intelectual.