OpenAI Claims Navier-Stokes Millennium Proof, Mathematicians Cry Foul↗
OpenAI published an AI-generated solution to the Navier-Stokes Millennium Prize Problem with a formal Lean proof, but an NYU mathematician publicly accused OpenAI of foul play, claiming the problem was central to a researcher's career-making work. The $1M bounty has ignited a fierce debate over credit and attribution between AI labs and human mathematicians.
