Carina Hong
Axiom Math, Founder
Carina Hong is the founder and CEO of Axiom Math, where she's building an AI mathematician capable of mathematical discoveries at scales and speeds previously unimaginable. Axiom's verified AI reasoning system AxiomProver was the first to score perfectly on the Putnam, solve open math research problems autonomously, publish its work in peer-reviewed math journals, and formalize the influential 246 theorem, among other AI math milestones. Carina is a AMS-MAA-SIAM Morgan Prize and AWM Schafer Prize winner, former Rhodes Scholar and MIT math and physics graduate.
October 17, 2026
On the agenda
Recognizing the Best of MIT: A Conversation with This Year's AI Award Honorees
9:20 AMHahn AuditoriumHonoring the people whose work embodies MIT's mission to serve the nation and the world, from lifetime achievement to the rising stars redefining what AI can do.
Speakers
