OpenAI Claims AI Proof of Navier–Stokes Breakdown Amid Codex Data Dispute

OpenAI says an internal AI system has produced a proof resolving the Navier–Stokes existence and smoothness problem, but the claim is already entangled in a dispute over research provenance and credit. The company says its result was independently developed and formally checked; researchers working on a closely related problem have questioned the timing and whether unpublished Codex work could have influenced the effort.