OpenAI appears to have made a major claim about one of mathematics’ most famous unsolved problems, saying its reasoning AI generated a proof for the Navier-Stokes equations. But the proof remains private, while mathematicians involved in related research have questioned how OpenAI arrived at its result. OpenAI's latest mathematical claim is drawing attention for a reason that goes well beyond the capabilities of its AI models. The company appears to have made progress on the Navier-Stokes probl...