澄海老板们，想招工的加我凤翔/澄华/广益/溪南/盐鸿/东里隆都/莲上/莲下/上华/莲华就近任选！
近期，全球创投市场迎来重磅融资事件——人工智能初创企业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多名员工，招聘速度还在不断加快。属于她的那个故事，才刚刚写下第一笔。
天下潮商综合
来源：投资界、重庆晨报、多知、快科技
文中所用图片来源网络
热门跟贴