Thomas Coratger
@tcoratger
Research at Ethereum Foundation
加入 August 2014
2.3K 正在關注 3.9K 粉絲
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.
顯示更多
