近日，OpenAI一口气公开722篇出自其未发布内部模型的数学手稿，涵盖准黎曼猜想、霍奇猜想、BSD猜想等千禧难题及17个研究方向。相关论文、源码及部分Lean证明已上传GitHub，单项成果算力消耗约相当于ChatGPT Pro思考3小时。然而，数学界对此反应复杂。由多位菲尔兹奖得主组成的独立顾问组发声明称不代表认可结果。众多数学家直呼“读不过来”，担忧AI产出速度远超人类验证与理解能力。目前，OpenAI已交卷，但数学界的验证与消化才刚刚开始。

2026年5月28日，初创公司Axiom Math宣布其提交的8篇由AI生成或形式化证明的数学论文中，已有5篇通过同行评审并被学术期刊接收。创始人洪乐潼，2001年出生于广州，本科毕业于MIT，曾获罗德奖学金，后从斯坦福退学创办Axiom Math。公司于2026年3月完成2亿美元融资，估值达16亿美元。这批论文涵盖数论、代数几何等领域，其中一篇解决了Ballantine等提出的10个猜想中的6个，并发现反例。AxiomProver系统通过Lean形式化证明和机器验证逻辑，实践了人机协作新模式。公司下一步目标是打造自我改进的超级智能推理器，已开始探索博弈论与经济学领域应用。