OpenAI's claim that an artificial intelligence system has solved one of mathematics' most famous unsolved problems is being somewhat overshadowed by a dispute over scientific credit, unpublished research and whether AI companies can benefit from the confidential work of researchers who use their products.
The company announced Tuesday that an internal model had produced a proof addressing the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems established by the Clay Mathematics Institute.
