Sriram Krishnan
@sriramk
ex-white house, a16z -
Joined December 2006
4.2K Following 316.8K Followers
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.
Show more
