就在2026年10月6日，美国开放人工智能中心（OpenAI）在其开源仓库 openai/math 中，一次性放置了其近些时间通过其前沿模型技术所产出的722篇数学手稿，其中大部分手稿成果均通过Lean验证，这722篇手稿归属于372个成果族，涉及数论、代数几何、调和分析、凸几何、理论计算机科学、算子代数、动力系统、数学物理等多个领域。在这372个成果族中，多项成果如果被数学界承认，那么就足以被称为四大级乃至菲尔兹奖级的结果。 这些结果来自OpenAI一个尚未公开的内部前沿模型。在整个评测过程中，模型大约被给予了4000个开放研究问题；OpenAI随后对结果进行聚合和筛选，要求达到一定的重要性门槛，最终形成现在的372个成果族。按照OpenAI披露的数据，平均每项成果消耗的推理算力，大致相当于该模型进行约3小时的ChatGPT Pro thinking。 当OpenAI在其开源仓库中公布这些结果后后，Rutgers大学杰出数学教授、现任数学系主任、解析数论专家 Alex Kontorovich 公开评价：​ “如果这是一个人类做出来的，那会立即是一枚菲尔兹奖，毫无疑问。”​ 随后看到配套的Siegel zero结果后，他又评论：“那我猜是两枚菲尔兹奖。” 从前不久OpenAI的内部模型解决千禧年难题NS方程问题以来，AI自动化数学证明前沿数学问题一直在数学界以及各界媒体中热烈讨论，震惊瘫坐核弹爆炸的言论在民间媒体讨论中也是层出不穷，现在的数学界第一次需要认真面对一个此前几乎不存在的问题——当“发现新数学”的速度超过“人类理解新数学”的速度之后，数学研究应该如何继续？ 当然，OpenAI自己明确写道：这批结果目前处在不同的验证阶段。虽然相当一部分附带Lean形式化证明，可以由计算机检查证明过程，但并非全部结果都已经形式化。至于OpenAI在此次发布中的成果究竟结果如何，现在还有待观察。 OpenAI 官方发布： Sharing AI progress in mathematics OpenAI 数学成果官方仓库： openai/math GitHub repository 关于Kontorovich “instant Fields Medal”评价的《华尔街日报》报道： AI Solved One Math Problem and Everyone Freaked Out. It Just Cracked Hundreds More. 1 个帖子 - 1 位参与者 阅读完整话题

  • 情报分类：技术学习与提效
  • 分类依据：内容涉及技术、AI、软件工具或工程实践
  • 信息来源：服务器 / LINUX DO - 最新话题
  • 发布时间：2026/10/7 17:42:19