Carina Letong Hong Carina Hong founded Axiom Math to make mathematical reasoning a foundation for more reliable AI. Her work connects the rigor of formal proofs with questions about how machines can discover and verify new ideas. Before starting Axiom, she studied math and physics at MIT, neuroscience at Oxford, and began graduate work in mathematics and law at Stanford.
Carina Letong Hong Carina Hong founded Axiom Math to make mathematical reasoning a foundation for more reliable AI. Her work connects the rigor of formal proofs with questions about how machines can discover and verify new ideas. Before starting Axiom, she studied math and physics at MIT, neuroscience at Oxford, and began graduate work in mathematics and law at Stanford.
Career
Carina Letong Hong attended University of Oxford, earning a Master’s in Neuroscience as well as Stanford University, earning a Graduate studies in mathematics and law; left to found Axiom.