Carina Letong Hong Carina Hong is founder and CEO of Axiom Math, developing AI for mathematical reasoning and formal verification. She earned a bachelor's degree in mathematics and physics from MIT and an MSc in neuroscience at Oxford as a Rhodes Scholar. She conducted deep-learning research at UCL's Gatsby Unit and began a joint mathematics PhD and law program at Stanford before leaving to build Axiom. Her undergraduate mathematics research earned the Morgan Prize and Schafer Prize.