00后天才少女创业，Axiom获2亿美元A轮融资冲击AI上限

2亿美元A轮融资，Axiom估值飙升至16亿美元

近日，洪乐潼创立的AI初创公司Axiom完成了2亿美元的A轮融资，由Menlo Ventures领投，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股东继续追加投资。至此，公司估值高达16亿美元（约合人民币110亿），成立不到一年就跻身独角兽行列。

数学推理能力成Axiom核心护城河

Axiom的核心优势在于其独特的数学推理能力。去年12月，其核心系统在普特南竞赛中取得12题全对的满分成绩，过去近百年仅有5人达到这一成就，随后还自主证明了多个开放性数论猜想。公司正通过迁移学习，将“绝对正确”的数学推理能力引入代码验证领域，解决生成式AI的可靠性问题。其采用形式化验证，通过Lean编程语言，将数学证明转化为可执行程序，确保结果的正确性。

AI行业的可靠性困境与Axiom的破局之道

当下AI行业面临大模型能力飞速提升但可靠性未知的尖锐矛盾。在金融、国防或关键基础设施领域，基于概率的错误可能引发灾难。Axiom给出的答案是可验证人工智能（Verified AI），将代码转化为严格的数学逻辑，每一步推理都经过确定性验证器的检验。

豪华团队加持，Axiom未来可期

Axiom已组建了一支堪称“梦之队”的核心团队。CTO Shubho Sengupta曾任Meta AI研究总监，参与过Google分布式训练系统的研究工作，是最早开发CUDA技术的专家之一；核心科学家François Charton是率先将Transformer模型引入数学领域的先驱；数学领域权威、前美国数学学会副会长Ken Ono也全职加入。目前公司有30多名员工，招聘速度还在不断加快。

编辑观点：Axiom凭借独特的数学推理能力和豪华团队，在AI领域构筑了坚实的护城河。不过，AI行业竞争激烈，Axiom要实现规模化盈利和冲刺IPO，还需在技术应用和市场拓展上持续发力，应对行业的不确定性。