25岁天才洪乐潼退学造AI独角兽Axiom：用数学证明逻辑解决大模型“黑盒”致命缺陷

全球创投圈上周被一个名字刷屏：成立不到一年的AI初创公司Axiom宣布完成2亿美元A轮融资，估值飙升至16亿美元，直接跻身独角兽。但更震撼的是其创始人——25岁的洪乐潼（Carina Hong）。她瞄准了AI行业最尖锐的矛盾：大模型能力狂飙，但可靠性始终是“黑盒”。在金融、国防、关键基础设施等领域，任何基于概率的错误都可能酿成灾难。洪乐潼的解决方案是，让大模型的推理过程像数学证明一样严格，每一步都可验证。

洪乐潼的履历堪称“开挂”。这位出身广州普通务工家庭的00后，17岁被麻省理工学院录取，仅用3年修完数学与物理双学位，本科期间发表9篇学术论文，并获得全美女性数学家最高荣誉Alice T. Schafer数学奖。2021年，她获得有“本科诺贝尔奖”之称的牛津大学罗德奖学金，随后在斯坦福攻读数学与法律双学科博士。然而，正是对AI“概率模型没有绝对正确”这一致命缺陷的洞察，让她毅然退学创业。她曾针对ChatGPT的“数学测试作弊”争议指出，当前AI缺乏严格的逻辑推理训练体系。

Axiom的崛起，直指当前以GPT-4、Claude为代表的顶级大模型的核心痛点：其本质仍是概率机器，答案基于统计规律而非确定性逻辑。洪乐潼的路径并非简单优化模型，而是试图为AI构建一套可验证的数学推理框架。这一定位吸引了硅谷顶级风投Menlo Ventures领投，Greycroft、Madrona Venture等老股东全部跟投。在AI应用日益深入关键决策领域的当下，Axiom所代表的“可验证AI”方向，正将行业长期存在的可靠性焦虑，转化为一个价值超百亿人民币的明确战场。