OpenAI Claims a Solution to a Million-Dollar Math Mystery. Two Researchers Are Raising Questions About Credit.

The company announced 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.