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.