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
OpenAI's Navier-Stokes release is gaining traction on Hacker News due to its inclusion of a Lean 4 formal proof.

READY TO POST:

seeing some buzz around openai's navier-stokes work, particularly the lean 4 formal proof. interesting combo.

a formal proof in lean 4 showing up in openai's navier-stokes release is getting attention. pretty neat.

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