AI 学者图谱Ai Scholar Graph ↗
CH

Carina HongCarina Hong

Axiom

Founder & CEO of Axiom · AI for formal mathFounder & CEO of Axiom · AI for formal math

deep-learning
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.
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.

同一人物 · 姊妹站：听 TA 的播客访谈（AI Podcast）

在关系图谱中查看 Carina Hong →View Carina Hong in the graph → 听 Carina Hong 的 AI 播客 →Listen on AI Podcast →

时间线Timeline

关系网络Connections

← 返回完整图谱← Back to the graph