A new paper narrows the conditions behind OpenAI’s Navier-Stokes claim
A new analysis does not validate OpenAI’s announced Navier-Stokes proof: it shows that solutions with the same two key properties would stay regular at the alleged singular point when the forcing is real-analytic. In plain terms, the paper zooms into the proposed blow-up and finds that the equations impose extra rigidity, ruling out the construction when the force stays bounded in C² and is analytic near that point.