中国学者洪乐潼创立AI公司Axiom 计划融资5000万美元专注数学解题

编译 | 金碧辉

编辑 | 程茜

近日，根据外媒The Information的报道，中国籍学者、斯坦福大学的数学博士研究生洪乐潼（Carina Hong）正在积极与投资方磋商，谋求为其新创立的AI公司Axiom融资5000万美元（大约合人民币3.6亿元）。该公司的目标估值预计将在3亿到5亿美元之间（相当于21亿到35亿元人民币）。作为投资方之一的B Capital被认为将可能领投本轮融资。这是一家专注于成长阶段投资的知名风险投资公司，近年来在AI领域表现活跃，曾顺利投资多家AI新兴企业，如AI搜索Glean和对话式AI公司Perplexity等。

Axiom主要致力于开发基于形式化数学证明的AI模型，其目标是为客户，尤其是对冲基金和量化交易机构，提供高效、快速的复杂数学问题解决方案。它所采用的技术理念强调“严格证明”，与当今市场上主流的AI模型相比，Axiom不仅提供简答的答案，而是通过严格的逻辑推理给出。这一举措被视为弥补目前OpenAI和谷歌等公司在数学证明领域的不足。

目前，市场上的多款AI模型在数学应用上表现不尽如人意。例如，在面临2024年国际数学奥林匹克竞赛（IMO）所涉及的高难度证明问题时，现有顶尖AI模型的表现普遍不足，甚至最高分数仅在5%以下。这为洪乐潼的Axiom提供了一个期待已久的切入点，尤其是在组合数学这一重要领域存在巨大空白。而组合数学在金融科技等行业的深远应用，更让Axiom的产品具备良好的市场前景。

洪乐潼本身有着卓越的学术背景。她出生于中国广州，自幼对数学表现出浓厚的兴趣与才能，参与国际数学奥林匹克训练后，接触到全球数学家的思维方式。尽管家庭背景相对普通，洪乐潼通过个人努力考入麻省理工学院（MIT）并在三年内获得数学和物理双学位，同时荣获2022年“女性数学协会Alice T.Schafer奖”和2023年“Morgan数学研究奖”。在MIT的经历使她原本对量化金融的兴趣转向更深层次的基础数学研究。

获得罗德奖学金的洪乐潼，随后在牛津大学深造，研究神经科学，并成功把数学与生物医学结合。她之后又进入斯坦福大学，致力于数学博士和法学博士学位的攻读，研究组合数学，并在该领域发表多篇论文。她的学术追求深化了她对数学-法律-生物三维知识体系的理解，尤其关注那些需要数学逻辑支持的法律领域，如合同法与反垄断法。

Axiom的目标在于利用编程语言对AI进行训练，使其掌握形式化证明，从而确保其解答的正确性，这一方向在当前AI快速发展的大环境中显得尤为重要。近年来，多家知名AI模型表现出解题能力不足，特别是对于组合数学的处理上，尚无法提出有效解决方案，这使得Axiom的技术路线具有突破的可能性。

尽管Axiom的理念吸引眼球，但其在技术突破与市场竞争中的走向仍需密切关注。当前阶段，Axiom尚处于早期发展阶段，尚未推出具体产品，因此其技术能否超越现有AI模型，还有待市场验证。

值得注意的是，其他AI企业在数学领域的尝试收获了一定的成功，与Axiom定位相近的一家企业在2023年10月获得7500万美元融资，市值达到3.25亿美元，反映出市场对数学相关AI技术的高度关注与潜力。

在未来，AI和数学的结合将愈发紧密，推动基础学科的创新与变革。Axiom这样的初创公司正是在纷繁复杂的AI市场中，以独特的方向尝试占据一席之地。无论是学术背景深入、领域知识丰富的洪乐潼，还是所代表的特殊市场需求，预示着Axiom未来或将成为AI数学领域的一个重要参与者。

Axiom的成功与否，将不仅取决于其技术研发的深度与广度，更在于其对市场机会运用的灵活性。在未来的发展中，Axiom需要持续关注AI技术的推进，同时把握市场动向，以期在不断变化的科技潮流中探索出更具竞争力的解决方案。综上，Axiom的成立标志着AI技术在数学领域又一次重要的探索，值得我们持续关注其进展与成就。