数学研究领域正经历一场由人工智能驱动的深刻变革。初创企业Axiom Math近日宣布，其自主研发的AI系统在数学论文发表方面取得重大突破——今年2月以来提交的8篇论文中，已有5篇通过国际顶级学术期刊的同行评审。这一成果不仅验证了AI在纯数学研究中的可行性，更首次证明人工智能能够系统化解决高难度数学猜想。
在已接收的论文中，关于分拆多项式倒数和的研究引发学界震动。该AI系统直接挑战了该领域长期存在的10个核心猜想，成功完成6个命题的严格证明，并意外发现其中一个原始命题存在反例。与传统AI模型不同，其研发的AxiomProver系统构建了全新的研究范式：通过自然语言处理技术将数学问题转化为Lean形式化语言，再由独立验证模块对每步推理进行逻辑校验。这种"机器生成-形式化转换-逻辑验证-人类阐释"的四阶流程，有效规避了AI系统常见的逻辑谬误问题。
这家颠覆性企业的创始人洪乐潼是位年仅25岁的华裔科学家。这位广州出生的数学天才17岁被麻省理工学院破格录取，用三年时间完成数学与物理双学位课程，本科阶段即发表9篇学术论文。在获得牛津大学硕士学位、同时被斯坦福大学法学与数学双博士项目录取后，她于2024年做出惊人决定——放弃顶尖学府的深造机会，全身心投入AI数学研究创业。
洪乐潼的学术背景与技术创新力迅速吸引全球顶尖人才。前meta首席AI科学家舒博·森古普塔与数论专家小野健教授相继加入核心团队，后者为参与该项目辞去弗吉尼亚大学终身教职。资本市场同样表现出极大热情，公司成立不到一年即完成两轮融资，总额达2.64亿美元（约合人民币14亿元），目前估值已突破16亿美元大关。
该系统的能力早已超越论文发表范畴。此前在普特南数学竞赛中，AxiomProver成为首个获得满分的AI参赛者，更破解了困扰学界数十年的埃尔德什两个著名猜想。当前研发团队正将技术边界拓展至博弈论与经济学领域，试图构建具备自我进化能力的通用推理框架。这种将形式化验证与生成式AI相结合的技术路径，可能为金融风险评估、密码学设计等高精度决策场景提供全新解决方案。
