It’s referring to the Navier-Stokes problem allegedly solved by OpenAI (likely with guidance by human experts working at OpenAI, plagiarism of human experts who were customers of OpenAI, Lean, and a lots of compute). The headline and article are not great but that specific claim isn’t really far fetched