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
