OpenAI’s Navier-Stokes release included a Lean 4 formal proof (johndcook.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of johndcook.com: OpenAI’s Navier-Stokes release included a Lean 4 formal proof

First screen, captured 1 month ago.

Looks similar

Screenshot of johndcook.com: Tetrahedral Analog of the Pythagorean Theorem

Tetrahedral Analog of the Pythagorean Theorem (johndcook.com)

10 points by ibobev 11 months ago | 1 comments

Screenshot of johndcook.com: Nonlinearity Affects a Pendulum

Nonlinearity Affects a Pendulum (johndcook.com)

31 points by ibobev 6 months ago | 4 comments

Screenshot of johndcook.com: The Buenos Aires Constant

The Buenos Aires Constant (johndcook.com)

103 points by zdw 1 year ago | 43 comments

Screenshot of johndcook.com: Tofolli gates are all you need

Tofolli gates are all you need (johndcook.com)

110 points by ibobev 6 months ago | 35 comments

Screenshot of johndcook.com: Extrapolating quantum factoring

Extrapolating quantum factoring (johndcook.com)

12 points by ibobev 1 year ago | 2 comments

Screenshot of johndcook.com: Writes Large Correct Programs (2008)

Writes Large Correct Programs (2008)(johndcook.com)

125 points by gavinhoward 1 year ago | 85 comments