我可以帮您推荐合适的AI工具，有什么需要帮忙的吗？
2026年5月，00后华人创办的AI初创企业Axiom Math宣布，其自主研发的AxiomProver系统今年2月以来提交的8篇数学论文中，已有5篇通过同行评审获学术期刊接收，其中关于分拆多项式倒数和的研究成功证明学界6项核心猜想、发现1个命题反例，目前该公司已斩获14亿元融资，标志着AI在纯数学研究领域取得突破性进展。
5月下旬，多个纯数学领域知名期刊的审稿人圈子里掀起了不小的讨论：一批投稿的核心证明环节并非由人类学者手工推导完成，而是完全由AI系统输出。这批投稿最终超过60%的通过率，直接打破了此前行业普遍认为AI仅能辅助处理数据、无法完成原创纯数学研究的共识。
不同于此前大语言模型生成的“看似合理、实则存在逻辑漏洞”的数学证明，Axiom Math团队研发的AxiomProver系统开创了全新的工作流：它能够将自然语言表述的复杂数学问题，精准翻译为Lean形式化语言，再通过自主逻辑推导完成证明全过程，输出的结果可直接被学界的形式化验证工具校验。
登录后解锁全文，体验收藏、点赞、评论等完整功能
立即登录
滇公网安备 53252802528133号