Mathematicians are questioning OpenAI's recent 166-page proof for the Navier-Stokes problem, asserting that the company may not fully comprehend its own methodology. Experts suggest the described approach deviates from the actual technique used, and the opaque nature of AI models makes it difficult to ascertain the origin of the ideas. Furthermore, OpenAI has not empirically verified the performance gains from deploying 10,000 AI agents. AI
IMPACT Raises questions about the interpretability and verification of complex AI-generated proofs in scientific domains.
RANK_REASON Multiple sources report on expert opinions and criticisms regarding OpenAI's published proof, rather than an official release or announcement from OpenAI itself.
AI-generated summary · Google Gemini · from 2 sources. How we write summaries →