这姑娘在数学界已经是响当当的名字了。广州出身的洪乐潼，用三年时间完成了麻省理工数学和物理双学位，又拿下斯坦福数学博士录取。如今她带着自己的AI创业项目Axiom，估值直接冲到3到5亿美元，连产品都没做出来。这波操作，让不少投资人直呼内行。

说起Axiom的业务方向，简单说就是用AI解决数学问题。这听起来可能有点抽象，但实际应用却很接地气。比如说对冲基金和量化交易公司，每天要处理海量的金融数据，光是数学建模就能让人头秃。Axiom的AI就像个数学助手，能帮他们快速验证复杂的数学证明，省下不少人力成本。

从技术角度看，Axiom的核心是训练模型理解形式化数学证明。这跟传统AI训练语言模型不太一样，得让AI掌握数学家的思维逻辑。比如验证一个定理是否成立，AI要像数学家一样一步步推导，确保每一步都严密无误。这种能力对于金融领域来说，简直就是刚需。

要理解这波估值为何这么高，得看看创始人背景。洪乐潼的履历简直能写成励志故事。她从小在广州的数学竞赛里崭露头角，后来一路杀进MIT，用三年时间完成双学位。更绝的是，她还发表了9篇论文，涉及领域从数论到机器学习，跨度相当大。这些成果让她在学术圈里名声大噪，自然吸引了不少投资。

说到创业，Axiom目前还没推出产品。但投资人已经纷纷出手，B Capital正在谈5000万美元的融资。这不禁让人想起之前那些"0产品0用户"就估值上亿的AI项目，比如Perplexity。虽然Axiom还没开始赚钱，但创始人个人魅力和学术背景让投资人觉得值得押注。

洪乐潼的成长轨迹堪称学霸模板。她父母没读过大学，但她从小就对数学着迷。通过免费的奥数项目接触竞赛，高中时就入选CMO省队，成为仅有的4位女生之一。后来在罗斯计划和斯坦福数学营，她对勒让德符号和雅可比符号产生浓厚兴趣，最终决定走数学研究这条路。

在MIT期间，她不仅完成了双学位，还发表了多篇论文。这些论文涉及模椭圆曲线、月光猜想、theta函数等复杂领域。要知道，本科生能做出纯数研究已经很厉害了，而她还能和张盛桐合作发表论文，这实力不容小觑。

洪乐潼的学术成就远不止论文。她先后获得Schaefer数学奖全美女生第一，Frank和Brennie Morgan本科生杰出数学研究奖，还被提名为2022年度中国罗德学者。这个奖项由牛津大学颁发，获奖者能赴牛津深造，她也因此接触了神经科学，这让她的研究视野更加开阔。

博士阶段，她选择了斯坦福大学，主修数学的同时辅修法律。这种跨学科背景让她在研究中能从不同角度思考问题。在斯坦福期间，她继续在数论领域深耕，还探索了数学与深度学习的结合。这段经历让她对AI与科学的互动有了更深理解。

说起创业动机，洪乐潼其实早有打算。她原本以为会进入量化金融领域，但在MIT时发现数学研究更有意思。现在创业，某种程度上是回归初心。这种选择也让她在学术界和产业界之间找到了平衡点。

Axiom的出现，给AI领域注入了新思路。传统AI模型擅长处理自然语言，而Axiom则专注于数学推理。这种差异让Axiom在特定领域具有独特优势。对于需要处理复杂数学问题的机构来说，这就像找到了一个得力助手。

从行业影响来看，Axiom的高估值也说明了市场对数学AI的认可。在AI发展到一定阶段后，如何解决更复杂的数学问题，成为新的竞争点。Axiom的出现，或许预示着AI在数学领域将有更大突破。

当然，这种高估值也引发了一些讨论。毕竟没有产品的情况下，估值达到3-5亿美元，确实让人觉得有点夸张。但考虑到创始人的学术背景和行业资源，这种估值也并非没有道理。毕竟在AI领域，人才就是最宝贵的资产。

总的来说，Axiom的故事让人看到，当AI遇上数学，能碰撞出怎样的火花。洪乐潼的创业经历，也证明了学术背景在科技创业中的重要性。未来，随着技术的成熟，这种数学AI可能会在更多领域发挥作用。