AI:AM GUEST

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.

APPEARANCES

One AI:AM appearance.

EPISODE 2026-06-17 · JUN 17, 2026

AI:AM LIVE — June 17, 2026 — Math, Biosecurity, and World Models: Carina Hong, Doni Bloomfield, Sam Pasupalak

The open tracked the model layer commoditizing — OpenAI reportedly dropping below 50% share, the AI buildout outrunning cash flow, and AI starting to run physical research labs. Then three guests on AI's hard problems: Carina Hong of Axiom Math on formally verified mathematical AI; Fordham law professor Doni Bloomfield on whether export-control law has become America's de facto AI licensing regime; and Skyfall AI's Sam Pasupalak on enterprise world models as the answer to what comes after LLMs.

GUESTS · Carina Hong, Doni Bloomfield, Sam Pasupalak