在AI时代，很多人都在讨论一个问题：谁会成为下一个改变世界的年轻人。
最近，一个25岁的中国女孩开始频繁出现在硅谷和科技投资圈的讨论里。
她叫Hong Letong（洪乐潼）。
这个名字之所以突然火起来，并不是因为她进了哪家科技巨头，而是因为她做了一件更大胆的事情，从斯坦福退学创业，然后把公司做到估值16亿美元。
故事要从硅谷Palo Alto的一条街说起。
洪乐潼的办公室就在University Avenue附近，离Stanford不远。2025年7月，她和团队刚刚搬进这里。办公室不大，但这里正在做一件很“疯狂”的事情：打造“AI数学家”。
她创办的公司叫Axiom，这个名字来自数学里的一个词——“公理”。
洪乐潼的目标也很直接：让AI像数学家一样思考、验证和证明问题。
很多人可能会问，数学怎么赚钱？
洪乐潼自己也坦白，这正是他们一开始面临的最大挑战。
但她现在越来越确定一件事：数学本身可以创造商业价值，因为数学可以“自我验证、自我检查”。
简单来说，Axiom想解决一个AI时代最麻烦的问题。
现在的AI已经可以写代码，但没人能完全保证它写的代码是对的。程序可能存在漏洞、错误甚至隐藏风险。
洪乐潼和团队想做的，是让AI不仅会写代码，还能像数学家证明定理一样，证明“这段代码是正确的”。
他们使用一种叫Lean的编程语言，通过形式化证明的方法，让系统从逻辑上验证计算结果是否正确。
听起来很抽象，但如果这件事成功，影响会非常大。
金融、量化交易、软件安全甚至芯片设计，都依赖复杂的数学模型。一旦模型出错，损失可能是巨大的。
而Axiom希望让AI自己检查这些问题。
因此，他们的第一批潜在客户并不是普通用户，而是对冲基金和量化交易公司。
这些机构每天都在处理复杂数学问题，比如资产定价和市场预测。
如果AI能帮他们验证模型正确性，价值会非常可观。
这个想法很快吸引了资本。
2024年8月，洪乐潼刚提出这个概念，就拿到了960万美元种子轮融资，约合人民币6600万元。
到了2025年3月，公司又宣布完成2亿美元A轮融资，投资方包括Menlo Ventures、Greycroft和Madrona。
公司估值直接冲到16亿美元，大约110亿元人民币。
而此时，公司员工只有20多人。
但团队阵容却异常豪华。
核心成员很多来自Meta AI研究院，还有人来自Google Brain（后来并入DeepMind）。
甚至有数学界的重量级人物加入。
其中最引人关注的一位，是美国著名数学家Ken Ono。
Ken Ono是模形式领域的顶级学者，美国数学学会前副会长，拿过Guggenheim奖和Sloan奖，还指导过多位数学大奖得主。
他原本是University of Virginia的终身教授。
但在2025年底，他做了一个让学术界震惊的决定：辞去教职，搬到硅谷，加入一家只有15人的创业公司。
他的工牌编号是015。
Ken Ono说，他加入Axiom不是为了钱，而是因为好奇。
他认为AI正在彻底改变数学研究的方式。
如果机器能在三天内把一个数学猜想扩展到10个维度，他甚至愿意当一个“标注工”。
洪乐潼与Ken Ono的关系其实可以追溯到更早。
当年在MIT读书时，她曾参与Ken Ono的数论研究项目，两人从那时就建立了师生关系。
几年后，老师成了她公司的同事。
洪乐潼组建团队的速度也很惊人。
短短时间，她就拉来了17名顶尖研究人员。
其中一位核心科学家François Charton，是最早把Transformer模型引入数学研究领域的科学家之一。
很多研究人员加入Axiom，并不是为了薪资，而是为了专注做技术。
洪乐潼曾说，现在很多科学家都意识到一件事：AI正在大幅压缩科学发现的时间线。
与其在大公司做稳定工作，不如加入一个真正推进技术边界的团队。
洪乐潼相信，当问题足够难时，人才密度会自然提高。
她现在也在不断招人。
在社交平台上，她经常发布招聘信息，寻找愿意一起“用AI做数学”的人。
如果只看创业经历，洪乐潼已经足够传奇。
但她的学术背景更像是“开挂”。
她2001年出生在广州天河区，从小就展现出极强的数学天赋。
中学时期，她就读于华南师大附中，在数学竞赛中多次获奖。
高一时，她已经进入全国数学奥林匹克选拔。
2018年，17岁的洪乐潼考入MIT，学习数学和物理双学位。
在MIT期间，她发表了9篇学术论文，并获得北美本科数学最高荣誉——Morgan Prize。
同时她还拿到Alice T. Schafer数学奖。
后来，她获得Rhodes Scholarship，前往Oxford攻读神经科学硕士。
之后又进入Stanford，准备攻读数学和法学双博士。
如果按照传统路径，她几乎已经锁定顶级学术生涯。
但2024年的一次晨跑改变了她的决定。
那天，她突然想起AMD CEO Lisa Su曾说过的一句话：要主动迎接困难。
于是她决定退学创业。
洪乐潼后来写过一句话，形容做数学的感觉。
她说，做数学就像经历三个阶段：苦苦求索、忘我拼搏、突然顿悟。
然后你会发自内心说一句话——
数学真美。
如今，25岁的洪乐潼已经带着一家估值16亿美元的公司，站在AI时代的前沿。
很多人说，AI正在改变世界。
而一些更年轻的人，已经开始亲手参与这个改变。
至于Axiom能不能真的造出“AI数学家”，现在还没有答案。
但至少，这个故事才刚刚开始。
来源：21世纪经济报道、华人生活网
部分图片来自网络
暂无评论内容