Register and share your invite link to earn from video plays and referrals.

Thomas Coratger
@tcoratger
Research at Ethereum Foundation
Joined August 2014
2.3K Following    3.9K Followers
On the Navier–Stokes Millennium Prize Problem by @OpenAI. This one hits differently for me after spending 3 years of my PhD implementing numerical methods for Navier–Stokes. Seeing a Lean-formalized resolution of the problem is quite something.
Show more