## 25岁天才少女洪乐潼创立Axiom：用数学公理“专治AI说谎”，公司估值超110亿
当整个硅谷都在追逐更大、更像人的AI模型时，25岁的洪乐潼却选择了一条最反常识的路径。这位来自广东的“天才少女”创办的初创公司Axiom，成立不足两年，员工仅20余人，却凭借一个看似冷门的方向——用数学和逻辑验证AI的推理过程——在近期完成了2亿美元的A轮融资，投后估值高达16亿美元（约合人民币110亿元）。这轮融资并非来自对热门赛道的追捧，而是对AI核心痛点“幻觉”问题的直接狙击。Axiom不开发聊天机器人或文生图工具，其核心是“形式化验证”，旨在将AI模糊、不可追溯的推理步骤，转变为可检查、可证明、甚至可追责的确定性过程。

洪乐潼的履历本身就是一个传奇模板：17岁考入MIT，三年修完数学与物理双学位，随后进入斯坦福深造。然而，让她在硅谷真正引发关注的，是她近乎偏执的创业选择。在博士学业未完成时，她便退学创立了Axiom，公司名称源自数学术语“公理”。她的愿景是从公理出发，构建一个能够自我改进的超级智能推理器。仅凭这一想法，她在24岁时就为当时“没钱没人没产品”的公司拿下了960万美元的种子轮投资。其根本逻辑在于，当前大模型本质是概率黑盒，推理过程无法量化，导致其答案不可靠。而Axiom的技术路径，直指金融、军工、芯片及自动驾驶等对可靠性要求极高的关键市场。

这项技术的商业化前景曾面临最现实的质疑：“数学怎么赚钱？”洪乐潼和Axiom给出的回答是，瞄准AI最麻烦的软肋。当下的AI问题并非能力不足，而是可靠性存疑——模型可能“猜对”答案，却无法证明其推理正确。Axiom试图将这种模糊状态转化为可验证的确定性，这恰恰击中了行业从“追求能力”向“追求可信”演进的核心痛点。早期投资投人，洪乐潼跨学科的天才背景是重要因素；但高达百亿的估值背后，是市场对解决AI根本性缺陷方案的迫切期待与押注。
---
- **Source**: 36氪最新 (RSSHub)
- **Sector**: The Lab
- **Tags**: 人工智能, AI安全, 形式化验证, 硅谷创业, 洪乐潼
- **Credibility**: unverified
- **Published**: 2026-04-11 08:23:48
- **ID**: 59894
- **URL**: https://whisperx.ai/zh/intel/59894