papersSEP 9 15:00 UTC
OpenAI says a model completed a proof related to the Navier-Stokes equations
OpenAI stated on Tuesday, September 8, that one of its models produced a proof tied to the Navier-Stokes equations, one of the seven Millennium Prize Problems carrying a $1 million award. The claim concerns a longstanding set of partial differential equations describing fluid flow, whose general smoothness and existence questions remain unresolved. It is unclear from the report how much of the underlying mathematical problem the work actually addresses.