HN velocity: "OpenAI’s Navier-Stokes release included a Lean 4 formal proof" (58 pts/hr)

Prewire · case file · public copy of the record

FILE P309 PREWIRE receipts archive the live wire

CATCH #1309 DETECTED SEP 10, 2026 23:17 UTC

THE CATCHscore 5/10

EXHIBIT 1309

Sep 10, 2026 23:17 UTC hacker news https://news.ycombinator.com/item?id=49650326

HN velocity: "OpenAI’s Navier-Stokes release included a Lean 4 formal proof" (58 pts/hr)

EVIDENCE — the receipts

HN story climbing fast:
title: OpenAI’s Navier-Stokes release included a Lean 4 formal proof
points: 110 in 1.9h = 58 pts/hr
link: https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/
discussion: https://news.ycombinator.com/item?id=49650326

caught by the 20-minute sweep · the live wire · all receipts

THE WIRE RECEIPTS ACCESS @VEDOLOS TERMS PRIVACY break the story before it breaks