洪乐潼向投资界同步了一则融资——

她创立的AI初创公司Axiom完成2亿好意思元A轮融资，由MenloVentures领投，Greycroft、MadronaVenture、BCapital、ToyotaVentures等老鼓舞握续加码。至此，公司估值高达16亿好意思元（约合东说念主民币110亿）。

洪乐潼本年25岁，诞生于广州，曾就读于华南师大附中，屡次在奥数竞赛中获奖。而后，她的肄业轨迹横跨麻省理工学院、牛津大学，直至在斯坦福大学攻读博士学位期间，选拔投身创业波澜。

细数投资界与洪乐潼的雷同，始于Axiom尚处水下时期，彼时创投圈传出其早期融资的动静，投资界向她求证。屡次雷同下来，印象长远，她在创立Axiom期间于一又友圈写下的自勉：“祝我方作念花也作念树。缤纷温文，孤离矗立。”

跨越个体的抉择，一个更显赫的期间切面正在泄露，00后首创东说念主正集体登上AI舞台。

刚刚融资14亿

竖立一年，估值110亿

故事的开始源于一次咖啡馆的雷同。

那是2024年深秋的一个周末，23岁的洪乐潼在斯坦福近邻的一家咖啡馆，见到了时任MetaAI相干总监的ShubhoSengupta。

几个小时的交谈中，两东说念主探究了各自相干限制的交叉点，以及AI大概不错措置世界上最辣手的数常识题。不久，洪乐潼作念出了一个坦然却决绝的选拔：从斯坦福退学，入辖下手创立Axiom。

天才青娥的故事，老是自带光环。很快，洪乐潼这个名字在创投圈讳饰而速即地流传。亦然阿谁节点，投资界与她建设了相关。话语间，她险些不指摘风口与颠覆，更多介意对问题自身的钦慕和对本领可能性的明显判断。

如今，Axiom晓喻完成2亿好意思元A轮融资，竖立不到一年即踏进独角兽行列。

而就在短短5个月前，Axiom刚刚完成种子轮融资。彼时，这家初创公司浮出水面，向外界掷出一个坚决的信念：数学，是构建AI推理才气的正确基础。

客岁12月，Axiom的中枢系统在被誉为“本科生数学奥林匹克”的普特南竞赛中，斩获12题全对的满分。要知说念，畴昔近百年，仅有5东说念主兑现过此竖立。随后，该系统又自主诠释了多个灵通性数论猜思。

措置数常识题只是冰山一角。Axiom正在将这种“全王人正确”的数学推理才气，通过迁徙学习引入到代码考据限制，试图措置生成式AI的各样问题。

当下，AI行业濒临着一个极其机敏的矛盾：大模子的才气狂飙，但可靠性却永恒是个黑盒。时常诈骗中的“瞎掰八说念”大概腹背之毛；但在金融、国防或要害基础程序限制，任何基于概率的舛讹王人可能变成不欢然。

“咱们正步入一个东说念主工智能险些不错编写通盘软件的世界，背后荫藏着险些无东说念主说起的问题：通盘代码王人未教养证，这将是繁密的风险。”MenloVentures的结伙东说念主MattKraning感触，东说念主工智能将写出通盘代码，但数学将考据是否正确。

Axiom的谜底是可考据东说念主工智能（VerifiedAI）。

简便来说，其中枢上风在于面貌化考据：通过Lean编程语言，将数学诠释转机为可推论法子，从根柢上确保截止的正确性。在这里，大模子不再是基于概率去“猜”谜底，而是将代码转机为严格的数学逻辑，诠释出截止。每一步推理，王人必须通过细则性考据器的锻练。

“科学碎裂时常需要两步：提议假定，再用诠释去考据。咱们创立Axiom，等于要无穷压缩把钦慕心转机为说念理的时辰。”在洪乐潼看来，AI递归式自我进化已一衣带水，关于Axiom的终极责任，她留住了一句极具张力的注脚：

“VerifiedAI关注的，毫不单是是修补AI的过失。实在对准的，是AI的上限，是通向超等智能的路线。”

一位00后女学霸带队

来自广州

Axiom的故事，离不通达盘开挂的洪乐潼。

2001年，洪乐潼诞生于广州，父母是潮汕东说念主。自幼她便展现出独特的数学资质，大阳城app中学就读于广东名校华南师范附中。高中时期，洪乐潼是数学奥林匹克省队惟一四名女生之一，屡次在华罗庚金杯、寰球高中数学联赛等竞赛中取得好排行。

2019年，她考入麻省理工学院，攻读数学和物理双学位。三年后，洪乐潼奏效拿到牛津大学罗德奖学金，成为仅有的四名中国获奖者之一。罗德奖学金是世界上历史最悠久、最负闻名的海外奖学金格式之一，有“本科诺贝尔奖”的好意思誉。

随后，洪乐潼在英国牛津大学赢得硕士学位。期间还在伦敦大学学院进行东说念主工智能和机器学习相干，其时她曾示意，“东说念主工智能与科学家畴昔的互动会怎样？是我接下来但愿相干的课题。”

到了2024年8月，洪乐潼投入斯坦福大学攻读数学博士和法学博士。“一直以来，我王人是别称相干者。”在此前一次采访中她称，内心深处最思要措置实在艰巨的本领问题。很快，还在博士就读的她闯入了AI界。

曾在DeepSeek火爆大家之际，洪乐潼发出这么的感触：“一个小而专注、特立独行的团队。一群理思方针者构成的优秀和谐伙伴。他们推论力强，亲力亲为。最稀零的，是那份理思与责任交汇的信念。这等于DeepSeek的故事，亦然我思躬行书写的故事。”

如今，Axiom已组建了一支号称“梦之队”的中枢团队：

CTOShubhoSengupta曾任MetaAI相干总监，此前参与过Google差异式训诲系统的相干奇迹，同期亦然最早设备CUDA本领的众人之一；

中枢科学家FrançoisCharton，是当先将Transformer模子引入数学限制的前驱，曾用大模子推翻过一个长达30年未解的学术猜思。

最令东说念主颠簸的，是首创数学家KenOno的加入。这位囊括了古根海姆奖、斯隆奖等广大顶尖荣誉的数学限制泰斗、前好意思国数学学会副会长，豪爽辞去了弗吉尼亚大学的终生教职，全职加入Axiom。

一段被反复咀嚼的佳话是：在Ono长达四十年的执教生存中，曾联接过十位摩根奖得主，洪乐潼恰是其中之一。

“她兼具深厚的数学功底、惊东说念主的运营后果，以及蛊惑世界一流东说念主才的才气。”一位投资东说念主忍不住感触：“这是我畴昔二十年的硅谷生存中，见过的最令东说念主印象长远的首创东说念主，莫得之一。”

当今，Axiom领有30多名职工，招聘速率还在不断加速。属于她的阿谁故事，才刚刚写下等一笔。

AI期间

00后集体登场

AI波澜，已成为00后的主场。

就在上周，竖立仅一年多的公司灵初智能晓喻，已完成天神轮及Pre-A轮共计20亿元融资，投资方声威豪华。其汇集首创东说念主陈源培，诞生于2001年，曾就读于北京大学、斯坦福大学，师从李飞飞。

还有优理奇首创东说念主杨丰瑜，同样是位00后。博士毕业于耶鲁大学，本科毕业于好意思国密歇根大学打算机专科，曾在DeepMind奇迹。同样在上周，公司刚刚完成近3亿元新一轮融资。

这个名单还有很长。四位00后创立的AI编程公司Anysphere，估值冲到了约290亿好意思元；19岁华侨女孩SerenaGe创办的AI数据公司Datacurve融资上亿；AI初创公司Mercor的三位22岁汇集首创东说念主，成为大家最年青的空手起家富豪……

更为径直的冲击是富豪榜，AI已成为最年青化的赛说念。《2026胡润U40大家空手起家富豪榜》高傲，AI限制共诞生27位十亿好意思金企业家，占榜单总东说念主数的四分之一，平均年齿仅32岁，估计钞票近7000亿元东说念主民币。

目击了波澜升沉，不啻一位投资东说念主感触，短短两三年间显现出的这批年青AI创业者，不管视线、花式如故破局的韧性，王人展现出了超过年齿的熟习，险些是他们从业以来见过的最优秀的一群东说念主。致使有投资东说念主坦言，如若团队里莫得00后中枢结伙东说念主，可能就不投了。

为什么必须是年青东说念主？纪源本钱管制结伙东说念主符绩勋曾这么拆解背后的逻辑：“每一个期间的立异，时常王人是年青东说念主先跑出来，因为年青东说念主莫得责任。”一个期间有一个期间的立异，一个期间也会形成一种惯性，致使形成一种责任。某种过程上，今天的AI等于95后、00后的契机。

在本领重构世界的前夕大阳城(SuncityGroup)，莫得责任，时常等于最佳的行囊。