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.
log in to read full article
the world wide web for retro machines
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.
log in to read full article