年轻中国数学家洪乐潼在硅谷AI创业圈崭露头角，寻求5000万美元融资开发数学AI系统

在硅谷涌动的人工智能创业潮流中，一位年轻的中国女性数学家正逐渐引起业界关注。洪乐潼（Carina Hong），这位在斯坦福大学同时攻读数学博士和法学学位的00后天才，正在为她的初创公司Axiom寻求5000万美元的融资。洪乐潼的目标是构建一个能够高效解决复杂数学问题的人工智能系统。

根据《The Information》的报道，洪乐潼希望通过Axiom建立一个专注于形式数学证明的AI系统。形式数学证明是一个高度精确且逻辑严密的过程，要求利用已知公理和定理来证明特定数学命题的真实性。截至目前，市场上多用于一般文本生成的AI模型对此领域的理解仍显不足，洪乐潼的初衷便是填补这一空白。

洪乐潼表示：“我们想在Axiom构建的是利用编程语言来训练机器，使其能够掌握形式证明的语言。”显然，她是对目前主流AI模型在数学方面的表现不甚满意。特别是在ChatGPT等模型因在考试中取得优异成绩而被质疑其真实性的事件中，洪乐潼指出，这些模型的出色表现并不等同于它们真正理解了数学问题的核心。她强调，尽管这些模型在执行模式匹配时表现良好，但在展现数学证明过程时的准确性却令人堪忧。

洪乐潼的观察揭示了当今AI在数学领域的局限性：所谓的模式匹配并不意味着模型具备了推理能力。她以美国数学邀请赛为例，指出即便某些AI模型在答题准确率上达到96%，但在回应证明要求时，分数几乎降至5%。这种巨大的差异，奇怪地反映出训练手段的不足。

虽然科技巨头如谷歌已在数学AI领域取得一定进展，例如在国际数学奥林匹克竞赛中荣获银牌，且在几何问题中可能达到金牌水平，但洪乐潼指出，这些模型在组合数学问题上的表现远不及人类，而这正是她的研究强项。作为一位在组合数学领域有所贡献的数学家，洪乐潼在弹出栈排序算法等领域发表了多篇研究论文，展现出她的独特视角和专业素养。

洪乐潼的学术历程可以说是一帆风顺。她以家中第一代大学生的身份，2022年从麻省理工学院以数学和物理双学位毕业，且在短短三年内完成了学业。在校期间，她因卓越的研究成就斩获了多个重要奖项，包括旨在鼓励女性数学专业学生的艾丽斯·T·谢佛奖，这使她在学术界初露锋芒。

随后，洪乐潼获得了罗德奖学金去牛津大学深造，之后进入斯坦福大学，进一步开拓她在数学与法学交叉领域的知识。洪乐潼的多学科背景可能正是Axiom的独特优势所在，为她在将AI与数学的结合上提供了不同的思考维度。“我始终是一个研究者”，洪乐潼说道，“我想解决真正困难的技术问题。”

在这个竞争激烈的数学AI赛道上，洪乐潼面临着诸多挑战。2023年，Robinhood的首席执行官弗拉德·特涅夫创办的初创公司Harmonic也瞄准了这一市场，计划在明年吸引7500万美元的投资，旨在构建解决高级数学问题的AI模型。大型科技公司如OpenAI则在其o4-mini模型中取得了显著进展，使其在FrontierMath数学评估中超越多位人类数学家。

尽管部分投资者认为专注于开发自有模型的初创公司可能晚了一步，洪乐潼的融资谈判仍表明，垂直市场仍有巨大的创新空间。尤其在金融行业，对于量化交易、风险评估及衍生品定价等领域的高效数学计算和推理需求愈发迫切。如果Axiom能顺利开发出一款真正理解数学的AI系统，将有可能对整个金融行业的运作方式产生革命性的影响。

Axiom的具体产品尚未推出，团队架构也仍待完善。在竞争对手纷纷进入这一领域的情况下，Axiom能够找到自身的差异化优势仍是一个值得关注的问题。洪乐潼的探求，为我们勾勒出了一幅生动的AI与数学结合的蓝图，是否能在未来实现其愿景，还有待时间的检验。