Plagiarism claims against OpenAI's Navier-Stokes proof debunked
A Scientific American investigation and further analysis have debunked claims that OpenAI's Navier-Stokes millennium prize proof plagiarized ideas from human mathematicians, closing the controversy.
2026-10-15 ~ 2026-10-15 · 2 related posts
- Episode 1: OpenAI's Navier-Stokes Proof Verified as Correct in Lean(2026-10-11, 3 posts)
- Episode 2: Mathematicians Debate the Value and Risks of AI-Formalized Proofs(2026-10-11, 4 posts)
- Episode 3: Researchers Detail How AI-Generated Lean Proofs Can Go Wrong(2026-10-12, 3 posts)
- Episode 4: Scientific American: OpenAI's Navier-Stokes Proof Overhyped(2026-10-14, 3 posts)
- Episode 5: Plagiarism claims against OpenAI's Navier-Stokes proof debunked(2026-10-15, 2 posts)
- OpenAI's Navier-Stokes proof appears to use a fundamentally different approach, review finds — FlorianGallwitz · 2026-10-15
- Claims that OpenAI's model plagiarized its Navier–Stokes Millennium Prize solution are dead — FlorianGallwitz · 2026-10-15