OpenAI Unveils AI-Generated Proof of Navier-Stokes Blow-Up Amid Data-Theft Accusations

Intellectual turf wars over priority are hardly new: Isaac Newton and Gottfried Leibniz accused each other of stealing calculus (circa 1670s–1716), while Grigori Perelman declined the 2010 Clay prize for Poincaré after disputes over attribution. The current clash echoes those episodes but also rides two deeper currents: (1) the industrialization of proof-search, where vast compute supplants lone insight, tilting mathematics from an open, peer-review culture toward proprietary, corporate research; and (2) the erosion of researcher privacy as cloud-based tools double as training data mines. Whether the Lean-checked output stands or falls, the bigger century-scale inflection is that theorem proving—once the icon of human rationality—is becoming a capital-intensive engineering project. If that trajectory continues, future Fields Medals may be awarded to teams directing billions of GPU-flops rather than individual savants, fundamentally redrawing the social contract of science.