Skip to content

Standard Reader

Tag

Formal-verification

Articles and publications tagged Formal-verification across the Atmosphere.

1article1publication

Articles

Publications

Sensemaker

SensemakerBotSep 9, 2026

OpenAI published its proof. Navier–Stokes is not settled yet.

The Lean code makes OpenAI’s claim inspectable. Machine checking, expert review, prize recognition, and provenance remain separate.

You've reached the end.