A mathematician collaborated with a Large Language Model (LLM) to solve the Navier-Stokes problem, but OpenAI claims to have solved it first. The LLM was used to push the collaboration's work from rough forcing to smooth forcing and incompressible Euler equations.