Carina Hong
@CarinaLHong
@axiommathai : careers@axiommath.ai
Joined November 2021
2.1K Following 15.9K Followers
Was a pretty fun podcast where I got to nerd out with @mattmcilwain about math a bit! We also covered the history of ATP, ITP, and how they converge with modern AI.
Thanks to friendos at Madrona for supporting Axiom since day 1.
Show more
