图灵汇官网

创投圈中，越来越多的00后开始崭露头角。投资界最新消息显示，一家名为Axiom的公司刚刚完成首轮6400万美元融资，约合人民币4.6亿元。此次融资由B Capital领投，Greycroft、Madrona和Menlo Ventures等机构参与，公司估值达到3亿美元，约合人民币20亿元。

这家公司的创始人是00后女孩洪乐潼，她出生在广州，曾在华南师大附中就读，并多次在奥数竞赛中获奖。之后她进入麻省理工学院学习，后来又在牛津大学获得硕士学位，目前正在斯坦福大学攻读博士学位。Axiom的成立源于一次咖啡馆里的交谈。

图片：麻省理工学院

越来越多的00后正在进入AI领域，成为创业主力军。Axiom的团队规模不大，只有10名全职员工，但成员背景非常强大，其中有多位来自Meta的资深AI专家。

Axiom是一家专注于AI数学领域的初创公司，目标是打造一个能够自我提升的智能推理系统。它能解决复杂的数学问题，并展示完整的解题过程，同时进行验证。未来，这项技术可能被应用到金融建模、芯片设计以及量化交易等多个领域。创始人洪乐潼希望，这个模型可以提出新的数学猜想，推动知识的更新。

为何选择AI数学赛道？这与一次事件有关。当时有消息称，ChatGPT在数学测试中表现优异，但洪乐潼指出，这可能是因为训练数据中已经包含了相关题目。她举例说明，某些大模型在数学考试中得分很高，但一旦要求写出证明过程，准确率却大幅下降。她认为，当前AI在处理组合数学问题上仍有不足，而这正是她的研究方向。

Axiom认为，AI正在引领一场数学复兴。这种复兴依赖于三个关键因素：人工智能、编程语言和数学。三者相互促进，不断带来新的发现。目前，Axiom已获得首轮融资，核心团队也首次公开亮相。

图片：未标注来源

Axiom的核心成员包括CTO Shubho Sengupta，他曾带领Meta FAIR团队开发多项重要技术；François Charton曾参与大语言模型在数学领域的研究；Hugh Leather则曾开发用于编译器和GPU代码生成的大语言模型。

B Capital表示，解决复杂数学问题是许多创新的基础。如果有一种工具能够提出新假设并进行验证，将对决策产生巨大价值。Axiom团队具备独特优势，有望实现这一目标。

洪乐潼是一位极具潜力的年轻创业者。她出生于广州，父母都是潮汕人，虽然没有受过高等教育，但她从小就展现出极强的数学天赋。高中时期，她是数学竞赛中的佼佼者，多次获奖。进入麻省理工学院后，她不仅成绩优异，还发表多篇高质量论文，获得多个学术奖项。

毕业后，她获得罗德奖学金，前往牛津大学学习神经科学。期间，她对人工智能与科学家之间的互动产生了浓厚兴趣。后来，她进入斯坦福大学攻读数学和法学双学位。

创办Axiom的契机是一次咖啡馆的交流。去年秋天，她在斯坦福附近的一家咖啡馆与Shubho Sengupta见面，两人讨论了如何利用AI解决数学难题。这次谈话后不久，她便决定退学，专心创业。

Axiom的会议室以著名数学家命名，如高斯和阿达·洛夫莱斯。她曾表示，希望像DeepSeek那样，打造一个充满理想和使命感的团队。

如今，越来越多的00后正在进入AI领域，成为创业主角。例如，两位来自麻省理工的00后创立的Sola Solutions获得2100万美元融资；Anysphere完成9亿美元融资，成为AI编程领域的独角兽；Mercor完成1亿美元融资，估值达20亿美元。

国内也有类似案例，比如清华三位00后创立的机器人公司零次方，获得亿元级融资。还有灵初智能、UniX AI等企业，均由00后主导，受到资本关注。

投资人认为，00后在AI创业中更具优势。他们没有太多传统经验束缚，更容易接受新技术。真格基金合伙人戴雨森表示，年轻人往往更有勇气尝试新事物，这也是科技创新的重要源泉。

每一代年轻的创业者，都在用自己的方式书写历史。