AI数学新纪元：00后洪乐潼融资14亿，Axiom Math改写研究范式

type

status

date

slug

summary

AI数学论文的突破：5篇被接收，Axiom Math与00后创始人洪乐潼的野心

近期，学术界迎来了一场不小的震动：初创公司Axiom Math提交的8篇数学论文中，有5篇成功通过了同行评审，并被学术期刊接收。更令人瞩目的是，这家公司的创始人洪乐潼是一位年仅20出头的“00后”，且公司已获得高达14亿人民币（约2亿美元）的融资，估值达到16亿美元。这一事件不仅标志着AI在复杂科学研究领域，特别是数学证明方面取得了里程碑式的进展，也预示着AI与人类智慧协作的新范式正在崛起。

Axiom Math的创新模式：AI生成可验证证明

Axiom Math的核心技术在于其AI系统AxiomProver。与传统AI生成自然语言文本不同，AxiomProver能够将数学问题转化为形式化证明。这种形式化证明的优势在于其“机器可检查性”。这意味着AI不仅能生成看似合理的论证，还能生成每一步都可被计算机严格验证的逻辑链条。

具体来说，AxiomProver的工作流程是： * 问题陈述：研究者提供自然语言形式的研究问题。 * 形式化证明生成：AI系统将问题转化为形式化证明语言（如Lean）。 * 机器验证：独立的验证器逐一检查证明的每一个步骤，确保逻辑的严谨性。 * 人类解释与沟通：人类数学家负责将形式化证明转化为易于理解的学术论文文本，并与审稿人进行沟通。

这种模式巧妙地结合了AI的强大计算和逻辑推理能力与人类数学家的直觉、创造力以及学术沟通能力。AI负责生成可信赖的、可被机器验证的证明核心，而人类则专注于问题的定义、结果的阐释以及学术界的交流。据Axiom的创始数学家Ken Ono（小野健）透露，在某些开放性研究问题上，系统能在约24小时内生成完整的、机器验证的证明。

洪乐潼：一位“00后”数学天才的创业之路

Axiom Math的成功离不开其年轻而富有远见的创始人洪乐潼。这位出生于广州的“00后”女孩，自幼展现出非凡的数学天赋。14岁时，她立志考入麻省理工学院（MIT）。凭借不懈努力，她于2019年以17岁之龄进入MIT，并仅用三年时间就完成了数学与物理的双学士学位，期间已发表9篇学术论文，并获得罗德奖学金等殊荣。

本科毕业后，洪乐潼进入牛津大学攻读神经科学硕士，进一步接触了AI和机器学习。随后，她被斯坦福大学的数学和法学博士双学位项目录取。然而，为了全身心投入她与合伙人Shubho Sengupta（此前在Meta工作）共同创立的Axiom Math，她毅然从斯坦福退学。他们创业的初衷，正是要解决AI领域令人头疼的“幻觉”问题，而数学证明的严谨性被认为是关键的切入点。

在洪乐潼的感召下，著名数学家Ken Ono也辞去了弗吉尼亚大学的终身教职，全职加入Axiom Math。这家初创公司在不到一年的时间内，已完成了6400万美元的种子轮和2亿美元的A轮融资，展现了资本市场对其技术潜力和商业前景的高度认可。投资人Matt Kraning的一句话精辟地概括了这种趋势：“AI将编写所有代码，但数学将证明其是否有效。”

AI推理的边界正在拓展：从数学到博弈论

Axiom Math的愿景远不止于生成数学证明。他们希望构建一个能够自我改进的超级智能推理器。此次被接收的论文覆盖了数论、组合学、代数几何、表示论等多个数学分支，其中一篇甚至在研究分区多项式的倒数时，AI不仅证明了猜想中的6个，还发现了原始命题中的一个反例。

更令人兴奋的是，Axiom Math已经开始将这种“生成、形式化、验证”的闭环模式应用于跨学科领域。其最新提交的一篇论文就探索了博弈论和经济学，与哈佛商学院教授Scott Duke Kominers合作，使用Lean形式化证明了罗伯特·约翰·奥曼（Robert Aumann）的经典定理。这表明，AI在数学证明上的成功，为解决其他高风险决策场景和复杂科学问题提供了新的思路和工具。

展望：AI驱动的科学研究与未来

Axiom Math的崛起，为我们描绘了一个AI与人类智慧深度融合的未来图景。AI不再仅仅是辅助工具，而是能够参与到最前沿的科学发现过程中，提供严谨、可验证的推理支持。洪乐潼选择“最难的问题”作为创业方向，正契合了当前AI技术发展的趋势——向更深层次的理解和推理能力迈进。

随着AI技术在逻辑推理和形式化验证方面的不断突破，我们可以预见，未来将有更多学科的研究范式被重塑。AI驱动的科学发现将更加高效、严谨，而人类研究者的角色也将演变为引导者、整合者和创新者，与AI共同探索未知的科学疆域。Axiom Math的14亿融资，不仅是对一家公司的投资，更是对AI驱动科学革命未来的坚定信心。

AI的未来，从严谨的数学证明开始。

--- 相关AI工具与资讯： 想要了解更多前沿AI资讯，探索AI在各领域的应用，或者寻找高效的AI工具，欢迎访问我们的AI资讯门户：https://aigc.bar。在这里，您可以发现最新的AI新闻、AI日报、关于AGI、LLM、大模型、提示词（Prompt）以及OpenAI、ChatGPT、Claude、Grok等各类AI模型的信息。了解AI如何变现，学习AI使用指南，尽在aigc.bar。