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还需在技术应用和市场拓展上持续发力应对行业的不确定性。