A new proof for the Navier-Stokes equations from fluid dynamics was announced yesterday by OpenAI, accompanied by a Lean 4 formal proof, which the author noted has received little attention.
register or log in to get more services such as weather report, extended news articles and web search