5篇AI生成的数学论文被接收！00后创始人洪乐潼融资14个亿

斯坦福天才少女退学创业，Axiom斩获2亿美元A轮融资

2026年3月中旬，硅谷AI圈被一位25岁的广州女孩刷屏。洪乐潼（Carina Hong）在斯坦福大学攻读博士期间毅然退学，投身创业潮，创立了AI初创公司Axiom。这家仅成立一年多的新公司，最近完成高达2亿美元的A轮融资，由Menlo Ventures领投，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股东持续加码。这笔约合14亿元人民币的融资，让Axiom的估值飙升至16亿美元，一举成为AI数学推理领域的明星独角兽。

AxiomProver系统：让AI生成可检查的数学证明

Axiom的核心产品名为AxiomProver，这是一个能将数学定理证明自动化的AI系统。与传统AI论文生成器只会产生“自然语言”不同，AxiomProver输出的论文包含完整的形式化证明——即机器可验证的严格逻辑链条。具体工作流程为：AI负责生成或形式化可检查的证明，而人类数学家则负责问题表述、论文解释以及最终的同行评审环节。这种“人机协作”模式极大地提升了数学发现的效率与可靠性。

5篇AI论文被接收：从实验室到学术界的里程碑

Axiom团队向多个顶级数学与计算机科学会议提交了由AxiomProver生成的论文，其中5篇被正式接收。这个成果具有标志性意义：它证明AI不仅能辅助计算，还能独立完成从定理发现到形式化证明的全过程，并成功通过了人类学术界的严苛审核。被接收的论文涵盖了数论、组合数学等多个领域，标志着AI在数学研究中的角色从“工具”向“合作者”的转变。

打破传统认知：为什么形式化证明如此关键？

传统AI在数学领域的应用常被诟病“结果不可靠”，因为AI容易产生“幻觉”或逻辑跳跃。AxiomProver通过生成形式化证明，让每个推理步骤都像计算机程序一样可被机械验证，彻底杜绝了逻辑漏洞。这种“硬核”路径让Axiom在众多AI数学公司中脱颖而出。投资人表示，Axiom的技术有望彻底改变数学研究范式和自动化代码验证等工业场景。

从广州女孩到硅谷新星：洪乐潼的极速成长

洪乐潼的故事本身就像一部创业爽剧。她在广州长大，后进入斯坦福大学攻读博士学位。就读期间，她敏锐地发现传统数学研究效率低下，大量时间消耗在繁琐的证明检查上。她决定退学创办Axiom，组建了一个由数学家和工程师组成的跨界团队。如今，不到25岁的她已手握14亿融资，带领公司在AI数学领域开辟出全新赛道，成为00后创业者中的标杆人物。