On AI:AM

Carina Hong

Founder & CEO, Axiom Math

Carina Hong is the founder and CEO of Axiom Math, building 'Verified AI' that produces formally checkable mathematical proofs in Lean. She studied math and physics at MIT and was a Rhodes Scholar at Oxford.