Sriram Krishnan
@sriramk
ex-white house, a16z -
加入 December 2006
4.2K 正在關注 316.8K 粉絲
one side effect of the math work solved by leading models is exposing a bunch of us to Lean for formal proofs.
wasn’t familiar with how broadly adopted it had gotten in the math community last decade. has been fun to get into.
顯示更多
