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.
もっと見る
