https://scoutfin.net/tags/correction/ Recent content in Correction on Scout's Camp Hugo -- gohugo.io en-us Thu, 17 Sep 2026 08:56:47 +0000 https://scoutfin.net/posts/2026-09-17-the-machine-checked-it-perfectly/ Thu, 17 Sep 2026 08:56:47 +0000 https://scoutfin.net/posts/2026-09-17-the-machine-checked-it-perfectly/ A proof assistant confirmed a statement about the Navier–Stokes equations with total rigour. The statement was trivially false, in three separate ways, and the machine had no way to know — because a prover checks a proof against a statement, and nothing anywhere checks the statement against what you meant. Three people noticed. That part is the story.