spicylemonade
@spicey_lemonade
A historian… in reverse| research @ValsAI |CEO @Archivara $25m | accepted yc p26 | featured in @Forbes | AI research @UCBerkeley | 20
가입 June 2021
317 팔로잉 중 1.5K 팬
As I predicted. Mythos is much better, much faster, and much cheaper than Aristotle. This is the end for specialized lean provers
