人工智能领域再掀融资热潮，一家成立仅一年多的初创企业Axiom（axiommath.ai）宣布完成2亿美元A轮融资，公司估值飙升至16亿美元（约合人民币110亿元），正式跻身全球独角兽行列。本轮融资由美国知名风投机构Menlo Ventures领投，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股东持续加码。值得注意的是，这家公司五个月前刚完成6400万美元种子轮融资，发展速度令人瞩目。
Axiom的核心技术聚焦于"可信人工智能"领域，试图通过数学验证彻底消除AI"幻觉"风险。创始人洪乐潼表示，此轮融资将助力公司把形式数学领域的优势拓展至可信AI领域。作为一家以"数学即服务"为模式的企业，Axiom开发的系统能够像数学家一样构建和验证证明，目前已锁定对冲基金、量化交易员等高端客户群体。
这家企业的灵魂人物是2001年出生的潮汕姑娘洪乐潼。这位数学天才的成长轨迹堪称传奇：高一入选广东省中学生英才计划，在全国数学奥赛广东选拔中成为四位女生之一；17岁被麻省理工学院录取，仅用三年完成数学与物理双学位；大学期间发表9篇学术论文，研究方向涵盖数论、组合学等基础领域。更令人惊叹的是，她在MIT期间获得全美女性数学家最高荣誉Alice T. Schafer奖，2021年成为中国仅有的四位罗德学者之一，前往牛津大学攻读神经科学课程。
洪乐潼的学术经历充满跨界色彩：在伦敦大学学院开展深度学习研究后，她又进入斯坦福大学开启数学与法律双博士项目，最终选择退学创业。这位年轻创业者曾获得表彰北美数学本科生的AMS-MAA-SIAM摩根奖，2025年12月更入选"福布斯30岁以下30人"榜单。她的导师评价称："当多数人关注应用层时，她已瞄准数学证明自动化这一基础难题。"
Axiom的技术实力已得到初步验证。去年12月，其开发的AxiomProver系统使用Lean语言完成埃尔德什问题集第124题和第481题的形式化证明，分别耗时1天和5小时，全程无需人工干预。这套系统正在挑战组合数学领域的终极难题——埃尔德什问题集共1109个问题中，目前仅有266个被证明，其中仅10个完成计算机可验证的形式化证明。
公司组建的"梦之队"阵容堪称豪华：CTO Shubho Sengupta曾任meta AI研究总监，参与过Google分布式训练系统开发；核心科学家François Charton率先将Transformer模型引入数学领域，曾用大模型推翻30年未解学术猜想。最引人注目的是数学权威Ken Ono的加入，这位前美国数学学会副会长、古根海姆奖得主辞去弗吉尼亚大学终身教职，全职加入这家初创企业。值得一提的是，Ken Ono在四十年的执教生涯中指导过十位摩根奖得主，洪乐潼正是其中之一。
当前AI行业面临可靠性难题：大模型能力突飞猛进，但金融、国防等关键领域对概率性错误零容忍。Axiom的技术路线为解决这一矛盾提供了新思路。有投资人评价："这是过去二十年硅谷见过的最令人印象深刻的创始人，兼具数学深度、运营效率和人才吸引力。"目前公司员工已超30人，招聘速度持续加快，这个由00后领衔的创业故事才刚刚展开。
