RESEARCH · RESEARCH · #1131
OpenAI claims a proof of the Navier–Stokes existence and smoothness problem
OpenAI said it used thousands of agents to produce a 166-page proof that it claims resolves the Navier–Stokes existence and smoothness problem; the document is under peer review and experts have raised concerns about transparency and human interpretability. Mathematicians note the work was produced by brute-force agent methods rather than the traditional explanatory, citation-driven practice of human proofs.
KEY POINTS
- OpenAI said it used thousands of agents to produce a 166-page proof that it claims resolves the Navier–Stokes existence and smoothness problem; the document is under peer review and experts have raised concerns about transparency and human interpretability.
- Mathematicians note the work was produced by brute-force agent methods rather than the traditional explanatory, citation-driven practice of human proofs.
- If validated, an AI-produced proof of a major Millennium Prize problem would shift how foundational math is discovered and verified, raising urgent questions about reproducibility, explanation, and scholarly norms.
WHY IT MATTERS
If validated, an AI-produced proof of a major Millennium Prize problem would shift how foundational math is discovered and verified, raising urgent questions about reproducibility, explanation, and scholarly norms.