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.
firstpost.com
