Post

Thomas Lin
@7homaslin.com

Computer scientist Lance Fortnow connects the dots from the Navier-Stokes announcement to Lean (and @kevinhartnett.bsky.social’s new book THE PROOF IN THE CODE from @quantabooks.org ).

Lance Fortnow@lance.fortnow.com

Both OpenAI and Alpöge-Buckmaster heavily leaned on Lean in their Navier-Stokes announcements. Is this a new requirement for publishing?

blog.computationalcomplexity.orgNavier-Stokes and LeanI was working on this week's post on Lean after reading Kevin Hartnett's book  The Proof in the Code: How a Truth Machine Is Transforming Ma...

0 reposts0 likes

No replies yet.