OpenAi used Claude in their NAVIER–STOKES proof!
Summary
OpenAI has reportedly used Anthropic's Claude model in their efforts to prove the Navier-Stokes equations, a major unsolved problem in mathematics and physics.
Similar Articles
OpenAI mistranslated mathematics into code for its Navier-Stokes proof
OpenAI used its AI systems to help produce a formal proof related to the Navier-Stokes equations, but the model mistranslated parts of the mathematics into code during the formalization process.
So… did OpenAI actually just solve the Navier–Stokes problem?
OpenAI claims to have produced a proof that singularities can form in the Navier-Stokes equations using AI agents. The article discusses the potential impact on AI-driven mathematics research and future scientific methods.
On the Navier–Stokes Millennium Prize Problem
OpenAI used an unreleased AI model to resolve the Navier-Stokes Millennium Prize Problem, a major mathematical breakthrough, sparking controversy over intellectual property with Anthropic and other researchers.
Claude Mythos
Anthropic's new AI model Claude Mythos, using the Claude Code framework, reportedly solved Erdős's distinct distances problem by finding alternative simple proofs, following OpenAI's earlier disproof. This demonstrates LLMs' ability to make independent scientific breakthroughs.
OpenAI’s Navier-Stokes release included a Lean 4 formal proof
OpenAI announced a formal proof for the Navier-Stokes equations using Lean 4, reducing the cost of formal verification from tens of thousands of person-hours to just 17 hours, highlighting AI's transformative role in mathematics and verification.