卡琳娜·洪Carina Hong
Axiom
Axiom创始人兼CEO·AI形式化数学Founder & CEO of Axiom · AI for formal math
deep-learning
创立Axiom，构建用于形式化数学推理的AI系统——能够证明而非预测的机器。MIT和牛津培养的数学家，她认为形式化验证是AI推理可以被检查而不仅仅是评估的地方，使数学成为可靠智能的试验场。
Founded Axiom to build AI systems for formal mathematical reasoning — machines that prove rather than predict. MIT and Oxford trained mathematician who argues that formal verification is where AI reasoning can be checked rather than merely evaluated, making math the proving ground for reliable intelligence.
在关系图谱中查看 Carina Hong →View Carina Hong in the graph →
听 Carina Hong 的 AI 播客 →Listen on AI Podcast →
时间线Timeline
- 2024 创办 Axiom
- 2025 形式化数学推理系统