NS Check
NS Check independently reviewed OpenAI’s claim that smooth fluid flow can break down in finite time. Follow five recorded checks on the proof written in Lean.
Source not currently publicRecorded research exhibit
Understand the five checks →Work
The Hall
Lean 4
A language and toolchain for writing code and checking mathematical proofs.
Visit source ↗