人工智能数学前沿：一位24岁斯坦福辍学生如何重塑行业

在风险投资圈发生范式转变的背景下，年轻创始人正逐渐成为关注的焦点和资本的宠儿。一个引人注目的例子是Axiom Math最近宣布的A轮融资：这家人工智能推理初创公司获得了$64 百万美元的投资，估值提升至$300 百万美元。在B资本的牵头下，Greycroft、Madrona和Menlo Ventures等机构提供支持，这轮融资彰显了投资者对下一代AI创业项目日益增长的信心。此次融资故事的特别之处不仅在于数字，更在于掌舵者的远见卓识：Carina Hong，一位00后创业者，代表着一股重塑硅谷的新型技术创始人力量。

谁在背后推动Axiom Math？

Hong Letong，职业名Carina Hong，出生并成长于广州，展现了当今精英创始人的发展轨迹。她的教育背景堪称一堂制度卓越的典范：就读于华南师范大学附属中学(，在数学竞赛中崭露头角)，获得MIT数学与物理双学位，获得牛津大学神经科学硕士学位(，通过享有盛誉的罗斯奖学金获得——这是中国仅有的四位获奖者之一)，最近还在斯坦福大学攻读数学和法律的博士候选人。

一路走来的荣誉堆积如山，讲述着她的非凡历程。她获得了Schafer数学卓越奖——每年仅颁给北美一名女本科生——随后获得了Morgan奖，这是北美地区数学本科生最高荣誉，使她成为史上第五位获得该奖的女性。在MIT本科期间，她修完了20门研究生级别的课程，并在模形式椭圆曲线和K3表面等高等数学领域发表了多篇论文。

Axiom的起源：从咖啡馆对话到$300 百万估值

其创立故事几乎如电影般简单。在斯坦福校园附近的一个休闲周末，Hong与Shubho Sengupta——前Meta AI研究员，曾领导FAIR团队并共同开发OpenGo和CrypTen——展开了长时间的交流，探讨高等数学与人工智能的交集。讨论的核心问题是：AI系统能否解决世界上最难解的数学难题？

这次对话成为了决策的催化剂。Hong离开斯坦福，决心全身心投入到Axiom Math的建设中，启动了今年最重要的AI项目之一。

Axiom究竟解决了什么问题？

Axiom定位为“人工智能数学家”——一个能够将教材、学术论文和期刊中的数学知识转化为机器可执行程序的系统。这个区别至关重要：不同于难以进行数学推理的通用语言模型，Axiom不仅生成答案，还提供详细的逐步证明、验证和推理链。

这个技术差距是真实存在的。当用ChatGPT o3测试美国数学竞赛时，其准确率达96%——直到被要求演示证明方法时，表现骤降至约5%。这一差异揭示了一个关键缺陷：模型的训练数据可能包含了这些特定问题，掩盖了其潜在的推理不足。

Axiom的研究路线图超越纯数学，团队设想其应用范围涵盖金融建模、半导体架构设计和量化交易——这些领域中，严谨的数学验证能将盈利策略与灾难区分开来。

团队建设：一支具有Meta基因的00后集体

尽管仅几个月前才启动，Axiom已组建了由知名AI研究员主导的10人核心团队。现任CTO Shubho Sengupta拥有二十年的前沿机器学习经验，包括早期CUDA技术和谷歌的分布式训练基础设施。来自Meta研究部门的François Charton，曾多年研究应用于数学问题解决的变换器架构。另一位Meta校友Hugh Leather，为面向编译器和GPU代码生成的大型语言模型做出了基础性工作。

这支人才云集、专注且不拘一格的团队组合，正是吸引B资本支持的原因——其执行能力和技术深度令人信服。

更广阔的时代：00后创始人在AI领域无处不在

Axiom的成功，正处于一个更大的叙事中：00后创始人正以惊人的成功率集体冲击AI行业。

比如由22岁的Jessica Wu和23岁的Neil Deshmukh(两位MIT校友)新成立的Sola Solutions。他们在种子轮和A轮融资中共筹得$21 百万美元，分别由(Conviction领投和)a16z领投，金额分别为3.5百万和17.5百万。

再如由Michael Truell和三位2022年MIT毕业生共同创立的AI编程创业公司Anysphere。他们的B轮估值突破(十亿，融资额达)百万。其产品Cursor已成为硅谷工程师中AI辅助开发的事实标准。

AI招聘平台Mercor在$9 百万美元的B轮融资后估值突破$900 十亿，由三位00后哈佛和乔治城大学辍学生在宿舍中创立。

在中国，类似的模式也在复制：由清华的闵宇恒、程毅和李逸哲创立的机器人创业公司Zero Degree$2 在天使轮融资中获得数亿资金。Lingchu Intelligent获得Hillhouse Venture和BlueRun Ventures的支持。由杨凤宇$100 2000年出生、耶鲁计算机科学博士学位(的UniX AI，已成为实体AI投资的焦点。

为什么00后创始人实际上可能具有优势

来自顶级VC机构的投资观点表明，这些年轻创始人具有系统性优势。“我们坚信创业往往属于年轻人，”真格基金管理合伙人戴宇森表示。理由是：许多AI突破发生在经验积累反而成为负担的领域。现有的操作手册不再适用。00后创始人未被制度记忆束缚，以全新的框架看待问题。

“无知即无畏，”戴宇森补充道。“许多技术创新正是因为参与者了解领域却敢于挑战。”

Hong Letong已构筑的时代

Axiom的官方口号——“数学发现的未来从这里开始”——之所以具有分量，正是因为由谁来表达。在一次采访中，Hong回忆了她的创业冲动：“我一直是个研究者。我想解决真正困难的技术问题。”

在创立Axiom之前，DeepSeek引起全球关注，Hong曾表示：“一个小而专注、非传统的团队。理想主义者组成的优秀伙伴。强大的执行力。亲力亲为的投入。最宝贵的元素：对理想和使命的深度信仰交织。”她继续说：“这就是DeepSeek的故事，也是我希望亲自书写的故事。”

在)百万美元的支持和全球最顶尖的10位AI研究员的共同努力下，这个故事正被实时书写。