在解决数学六大未解难题之一后的一个月， 再次震撼数学界。该公司宣布，其新一代内部大语言模型已取得至少 372 项新成果，每一项都解决或实质性推进了数学及理论计算机科学中的重大开放性问题。与此前耗费数百万美元算力、由万名代理协作解决的纳维 - 斯托克斯方程不同，此次突破据称由单个 AI 代理在单一提示下生成，成本大幅降低。

成果涵盖多项世纪难题

于美国东部时间下午 6 点在 上公布了这些结果。声称的突破包括四维 猜想的解、对核心计算机算法的改进，以及向黎曼猜想迈出的实际步伐。虽然数学家仍需数月时间来解析这些证明是否包含新颖思想，还是现有技术的拼凑，但许多结果已在 Lean 证明验证系统中得到验证，准确性基本可信。

透明度争议再起

尽管成果丰硕， 的发布方式引发了广泛怀疑。此前，因纳维 - 斯托克斯方程解决方案的发布极具争议， 于 9 月 21 日组建了一个独立的数学家顾问小组。该小组建议公司公开模型、确切提示和计算时间以确保可复现性。然而， 此次仅公布了平均计算时间及部分统计数据，未披露任何提示词或模型细节。

发言人表示，团队正认真对待指导方针并尽力遵守，但强调公司不受这些建议约束，并正致力于尽快且负责任地发布该模型。麻省理工学院数学家安德鲁 · 萨瑟兰指出：" 在模型发布且人们能复制结果之前，任何关于单代理解决问题的说法都应视为未经证实。"

学界观点分裂

数学界对此反应不一。多伦多大学数学家丹尼尔 · 利特认为，要求公司对数学问题保密毫无理由，这对数学发展是好事。然而，著名数学家陶哲轩则批评前沿 AI 实验室以 " 疯狂 " 速度生成结果。 承认，连其内部数学家尚未完全理解所有新结果，但公司坚持不会减速，认为这些数学问题是检验 AI 智能进化的关键测试。

对于将数学真理视为终极目标的实践者而言，这场由 AI 驱动的加速竞赛，其后果正变得愈发难以预测。

编辑注（2026 年 10 月 6 日）：这是一则突发新闻故事，将持续更新。

【星途科讯 图文丨欧阳布布 首发于 ZAKER 科技，转载请注明出处】