#math

OpenAI's Navier-Stokes Proof: What Was Actually Proved

OpenAI says an AI cracked a Millennium Prize Problem. The Clay rules do allow a forcing term, so here's what the proof settles and what stays open.