5篇AI数学论文获接收，00后顶尖华人少女退学创业获14亿巨额融资

数学圈最近炸开了锅。初创公司Axiom Math扔出了一枚重磅冲击波：从今年2月开始，他们研发的AI系统陆续提交了8篇数学论文，如今已有5篇正式通过同行评审、被期刊接收。这可不是什么随便的论文，而是实打实的学术成果，意味着人工智能在纯数学这块“硬骨头”上，走出了从实验室到学术殿堂的关键一步。

这批成果里，最抓眼球的是一项关于“分拆多项式倒数和”的研究。这项研究直接瞄准了学界悬而未决的10个核心猜想，结果AI系统不光漂亮地证明了其中6个，甚至还从原始命题里揪出了一个反例——这就像你让同事去检查漏洞，他顺手把整栋楼的结构图都画明白了。与传统那些只会用自然语言“编故事”的大模型不同，AxiomProver系统的工作逻辑相当硬核：它先把自然语言描述的数学问题，精准翻译成Lean形式化证明语言，然后由一个独立的检测器对每一步逻辑进行地毯式验证。这种“机器证明、机器检查、人类数学家最后润色解释”的协作模式，从根本上掐断了AI最容易翻车的“逻辑幻觉”问题。

更让人津津乐道的，是这背后的灵魂人物。Axiom Math的创始人洪乐潼，2001年生于广州，今年不过25岁。她的履历堪称“开挂”：17岁进入麻省理工学院，三年拿下数学与物理双学位，期间还发表了9篇论文。之后牛津硕士、斯坦福法学与数学双博士录取通知书接踵而至，但她却在2024年秋天选择从斯坦福退学，全职创业。这份魄力，放在数学圈里也属罕见。

硬核赛道配上硬核创始人，顶级人才和资本自然蜂拥而至。前Meta AI专家Shubho Sengupta、知名数学家Ken Ono（小野健）相继加入成为合伙人，后者甚至为此辞去了弗吉尼亚大学的终身教职。不到一年时间，Axiom Math完成两轮共计2.64亿美元融资，公司估值直接飙到16亿美元。

值得一提的是，AxiomProver此前已在普特南数学竞赛中拿下满分，并攻克了困扰学界数十年的两个埃尔德什猜想。但洪乐潼和团队的野心显然不止于“AI数学家”——他们最新研究已经跨界到了博弈论与经济学领域。简单说，就是要把这套“生成-形式化-验证”的闭环推理能力，扩展到那些同样需要高精度、高风险的决策场景中去，打造一个能自我进化的超级智能推理器。数学只是起点，远非终点。