Carina Hong (Axiom) - The Frontier of AI for Math [Entire Talk]
Stanford eCorner · 46:45 · Watch on YouTube
Karina Hong, founder and CEO of Axiom, explains to a Stanford entrepreneurship class why she left a math PhD and law degree to build formal-mathematics AI, how machine-checkable proofs became a venture-scale verificat...