近期，全球创投市场迎来重磅融资事件——人工智能初创企业Axiom（axiommath.ai）宣布成功完成2亿美元（约合人民币14亿元）A轮融资。
作为一家成立仅一年多的初创公司，Axiom在此次融资后的估值迅速飙升至16亿美元，约合人民币110亿元。这意味着这家年轻的公司已正式跻身全球独角兽企业行列。
然而，相比于惊人的融资规模和估值，外界更关注的是其背后的灵魂人物、公司创始人洪乐潼。这位2001年出生的潮汕00后创业者，凭借旗下项目迅速成为资本市场焦点。
AI初创公司Axiom完成2亿美元A轮融资
公司估值已达110亿
3月12日，致力于构建能够对软件和科学推理进行数学验证的AI初创公司Axiom（axiommath.ai）宣布完成2亿美元的A轮融资，本轮融资由Menlo Ventures 领投，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股东持续加码。至此，公司估值高达16亿美元（约合人民币110亿）。
而就在短短5个月前，Axiom 刚完成了6400万美元的种子轮融资。
Axiom 此轮融资代表着对其所称的“可信人工智能”（verified AI）这一新范式的押注，该技术旨在一劳永逸地消除人工智能“幻觉”的风险。
创始人洪乐潼(Carina Hong)说：“此轮融资将我们在形式数学领域的领先优势拓展至可信人工智能领域。”
洪乐潼
据悉，此轮融资的领投方Menlo Ventures 是一家成立于1976年的美国知名风险投资机构，专注于对消费科技和生命科学领域的早期至扩张期初创企业进行投资。
“00后”潮汕学霸创业成AI圈焦点
Axiom Math由洪乐潼创立于2025年3月。
据此前公开报道，洪乐潼祖籍潮汕，出生在广州，父母是从未上过大学的普通务工者。
有着超强数学天赋的她，早在高一就入选了广东省中学生英才计划，师从中山大学教授王学钦。此后，她在全国中学生数学奥林匹克（CMO）广东选拔中脱颖而出，成为仅有的四位女生之一。
随后，她开始将视野投向更高层次的数学研究。
2018年，年仅17岁的洪乐潼如愿被麻省理工学院（MIT）录取，选择了数学与物理双专业。
她在麻省理工学院只用3年时间就修完了两个学位，并跻身国际一流期刊，发表了涉及模椭圆曲线与K3曲面上的L函数、“月光猜想”的9篇学术论文。研究方向涵盖数论、组合学等基础数学领域，为其当前AI创业埋下伏笔。
麻省理工导师评价：“当多数人还在关注应用层时，她已瞄准数学证明自动化这一基础难题。”
更引人注目的是，她在MIT期间曾获得全美女性数学家最高荣誉——Alice T. Schafer数学奖，并在2021年成为中国仅有的四位罗德学者之一，前往牛津大学继续攻读神经科学课程。
在此期间，她曾在伦敦大学学院盖茨比计算单位作为第一作者开展深度学习研究项目，由此正式踏入AI领域。
在读完了数学、物理、神经科学后，洪乐潼又对人文学科产生强烈好奇，在斯坦福大学开启数学与法律双学科博士项目的研究。
据中国科学报去年12月报道，洪乐潼目前退学创业。她还曾获得表彰北美地区数学专业本科生杰出研究的AMS-MAA-SIAM摩根奖。就在2025年12月3日，洪乐潼入选“福布斯30岁以下30人”榜单。
公司用AI解决复杂数学证明的难题
当下，AI行业面临着一个极其尖锐的矛盾：大模型的能力狂飙，但可靠性却始终是个黑盒。日常应用中的“胡说八道”或许无伤大雅；但在金融、国防或关键基础设施领域，任何基于概率的错误都可能酿成灾难。
例如，针对ChatGPT o3“数学测试作弊”争议，此前作为斯坦福大学数学博士的洪乐潼就率先指出症结——当前AI缺乏严格的逻辑推理训练体系。
而洪乐潼创立的Axiom则采用“数学即服务”模式，通过学习严格逻辑推理过程，使AI像数学家一样构建和验证证明。
资料显示，作为初创公司的Axiom将锁定对冲基金、量化交易员等高端客户，宣称要用AI解决复杂数学证明的难题，为金融公司提供高效的量化解决方案。
据中国科学报报道，去年12月，Axiom开发的AxiomProver系统，使用可验证的Lean语言，完成了埃尔德什问题集中第124题和第481题的形式化证明，分别用时1天和5小时，全程无人为干预。
埃尔德什问题集共包含1109个关于组合数学和数论的问题，是匈牙利数学家保罗·埃尔德什数十年来论文的汇集。迄今为止，只有266个问题被证明，其中10个问题的证明被转化为计算机可验证的形式化版本（Lean语言）。
如今，Axiom已组建了一支堪称“梦之队”的核心团队：
CTO Shubho Sengupta 曾任 Meta AI研究总监，此前参与过Google分布式训练系统的研究工作，同时也是最早开发CUDA技术的专家之一；
核心科学家François Charton，是率先将Transformer模型引入数学领域的先驱，曾用大模型推翻过一个长达30年未解的学术猜想。
最令人震撼的，是创始数学家Ken Ono的加入。这位囊括了古根海姆奖、斯隆奖等无数顶尖荣誉的数学领域权威、前美国数学学会副会长，毅然辞去了弗吉尼亚大学的终身教职，全职加入Axiom。
洪乐潼的老师Ken Ono于去年底宣布辞去弗吉尼亚大学的终身教授职位，前往硅谷，全职加入Axiom Math。
一段被反复咀嚼的佳话是：在Ono长达四十年的执教生涯中，曾指导过十位摩根奖得主，洪乐潼正是其中之一。
“她兼具深厚的数学功底、惊人的运营效率，以及吸引世界一流人才的能力。”一位投资人忍不住感慨：“这是我过去二十年的硅谷生涯中，见过的最令人印象深刻的创始人，没有之一。”
目前，Axiom拥有30多名员工，招聘速度还在不断加快。属于她的那个故事，才刚刚写下第一笔。
天下潮商综合
来源：投资界、重庆晨报、多知、快科技
文中所用图片来源网络
-The End -
❦
热文回眸：（点击标题即可阅读）
天下潮商经济年会是全球潮商的高层次公益学习交流合作平台，致力打造全球潮商第一经济论坛。以“全球经济变局与潮商竞争力”、“投资中国 共创辉煌”、“迎接资本大时代——汇聚潮商资本 共建一带一路”、“彰显榜样力量 共建一带一路”、“新全球化时代的潮商”、“携手‘一带一路’ 开创共赢未来”、“大变局中谋新突破”、“全球潮商创新发展 助力中国式现代化”为主题的第一、二、三、四、五、六、七届天下潮商经济年会分别于2011年12月10日、2013年11月30日、2015年12月7日、2017年12月16日、2018年12月16日、 2019年11月29日、2023年1月8日、2025年1月12日在北京饭店、北京人民大会堂、澳门威尼斯人度假村酒店、北京饭店、北京钓鱼台国宾馆、柬埔寨金边钻石岛大会堂、柬埔寨总理府和平宫、北京雁栖湖国际会都、北京饭店成功举办，历届天下潮商经济年会及相关活动得到了柬埔寨王国政府、澳门特别行政区政府、国务院侨务办公室、全国侨联、全国工商联、中央电视台和北京大学的大力支持或共同主办，汇集了全球众多中外国家领导人、部级领导、经济学家、商业领袖和杰出潮商，分别通过主旨演讲、对话论坛、圆桌会议、颁奖盛典、文化之夜、项目对接和投资考察等不同形式进行广泛交流与合作，构建了一场场规格高、形式新、前瞻强和影响广的“全球潮商高端思想盛宴”。
柬埔寨总理洪森、澳大利亚第25任总理霍华德、澳大利亚第26任总理陆克文、泰国国会主席颂萨、泰国立法议会主席蓬佩、全国政协副主席董建华、全国政协副主席何厚铧、全国政协副主席梁振英、全国政协副主席辜胜阻、柬埔寨副总理棉森婉、柬埔寨副总理任财利、柬埔寨副总理温本莫尼洛、泰国国家立法议会第一副议长素拉猜、澳门特区行政长官贺一诚、第十届全国人大副委员长何鲁丽、第十届全国人大副委员长许嘉璐、第十届全国人大副委员长蒋正华、第十一届全国人大副委员长周铁农、第十届全国政协副主席罗豪才、第十届全国政协副主席李蒙、第十一届全国政协副主席阿不来提·阿不都热西提、第十一届全国政协副主席黄孟复、第十二届全国政协副主席罗富和、第十二届全国政协副主席李海峰、泰国前副总理功·塔帕朗西、时任澳门特区行政长官崔世安、中央统战部副部长许又声、时任中央统战部副部长谭天星、中共中央对外联络部原部长朱良、时任中国侨联主席林军、中国人民武装警察部队原司令员吴双战上将等33位中外国家领导人和76位部级领导，以及李嘉诚、马化腾、饶宗颐、谢国民、陈有庆、陈有汉、刘艺良、方侨生、陈智深、陈一丹、王来胜、朱鼎健等全球卓越潮人潮商分别莅临出席年会活动，或发来贺信贺电。
