Axiom 创始人兼 CEO（面向形式化数学推理的 AI） · Founder & CEO, Axiom (AI for formal mathematical reasoning)
洪乐潼是 AI 创业公司 Axiom 的创始人兼 CEO,该公司致力于打造能生成并形式化验证数学证明的「AI 数学家」。她拥有数学奥赛与 MIT 背景,曾是斯坦福数学博士生和罗德学者;公司先后完成 6400 万美元种子轮融资(2025 年)及约 2 亿美元后续融资,估值约 16 亿美元。
Carina Letong Hong is the founder and CEO of Axiom, an AI startup building an "AI mathematician" that generates and formally verifies mathematical proofs. A former Stanford mathematics PhD student and Rhodes Scholar with a math-olympiad and MIT background, she raised $64M in seed funding (2025) and later a ~$200M round valuing Axiom at about $1.6B.
在 AI Podcast 查看 TA 的全部内容 →