Carina Hong (Axiom) - The Frontier of AI for Math [Entire Talk]
Stanford eCorner · 46:45 · Watch on YouTube
카리나 홍(Karina Hong), Axiom의 창업자이자 CEO는 스탠퍼드 창업 수업에서 수학 박사 과정과 법학 학위를 그만두고 형식 수학 AI를 만들게 된 이유, 기계가 검증할 수 있는 증명이 어떻게 벤처 규모의 검증 계층이 되었는지, 그리고 소프트웨어도 증명할 수 있는 추론기를 재귀적으로 개선하는 것을 목표로 빠르게 성장하는 “뉴 랩”을 어떻게 운영하는지를 설명한다.