W3BStation
Markets
BTC $96,420 +2.34% ETH $3,280 +1.82% SOL $185.40 -0.92% BNB $642.50 +0.45% XRP $2.18 +3.12% DOGE $0.082 -1.50% ADA $1.05 +0.80% AVAX $42.10 +1.15%
BTC $96,420 +2.34% ETH $3,280 +1.82% SOL $185.40 -0.92% BNB $642.50 +0.45% XRP $2.18 +3.12% DOGE $0.082 -1.50% ADA $1.05 +0.80% AVAX $42.10 +1.15%
09/09/2026

OpenAI's $1M Navier-Stokes Proof Sparks Priority Dispute With Academic Rivals

What happened: OpenAI claimed its AI agents produced a Lean-verified proof of the Navier-Stokes finite-time singularity, one of the Clay Institute's $1 million Millennium Prize Problems.

OpenAI's $1M Navier-Stokes Proof Sparks Priority Dispute With Academic Rivals

What happened: OpenAI claimed its AI agents produced a Lean-verified proof of the Navier-Stokes finite-time singularity, one of the Clay Institute's $1 million Millennium Prize Problems. NYU's Tristan Buckmaster and Anthropic's Levent Alpöge allege OpenAI adopted their unpublished method after learning of their August breakthrough. OpenAI's Sébastien Bubeck denies wrongdoing, stating only the final step used a similar approach and that OpenAI offered a joint release. The proof remains unpublished and unreviewed.

Why it matters: The dispute highlights the growing tension between academic and AI research communities over credit and priority, especially as AI systems accelerate mathematical discovery. The Clay Prize has not been awarded, and peer review is pending, but the episode raises questions about transparency, collaboration, and ethical conduct in high-stakes scientific competition.

Source: Fortune, Decrypt, Scientific American