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