AI Breakthrough Sparks Credit Fight Over Navier-Stokes Solution
OpenAI announces an AI-generated solution to the Navier-Stokes equation, a 200-year-old unsolved math problem, with Lean-formalized proof and substantial computing costs. The claim is controversial due to allegations from Tristan Buckmaster and Levent Alpöge that they were ahead on related progress and that OpenAI sought to influence credit; OpenAI denies using their prompts or proofs. The dispute over authorship and AI-assisted mathematics continues as the story develops.