The A.I. Daily
OpenAI's Navier-Stokes proof questioned over wrong problem
OpenAI claimed its internal LLM solved the Navier-Stokes problem, but experts say the proof only addressed an unrealistic variant by exploiting a loophole, leaving the core problem unsolved. Three mathematicians showed last Thursday that the method cannot extend to the full problem.