数学

OpenAI

2026-10-07 03:54:00

OpenAI公开722篇AI数学手稿，多项结果进入数学界验证阶段

OpenAI公开了由未发布内部前沿模型产出的 722 篇数学手稿，覆盖约 4000 个开放研究问题评测，合并后对应 372 组相关结果。其中包括 Unique Games 猜想、实部大于 7/8 区域的黎曼 ζ 函数零点问题、CM 阿贝尔簇上的有理 Hodge 猜想，以及自由群因子问题。OpenAI称各结果验证程度不一，AGMAI 也表示未对这些结果背书。

00

OpenAI

2026-10-07 02:47:25

OpenAI 公布 722 篇数学手稿后遭质疑违背顾问建议

OpenAI 在《WIRED》报道刊出数小时后，于 GitHub 一次公开 722 篇 AI 生成的数学手稿，归为 372 组相关论文。多位数学家批评其披露方式与独立顾问团建议不一致，争议集中在成果发布渠道、提示词与推理信息披露不足，以及数学成果是否被当作公司展示工具。

20

OpenAI

2026-10-07 02:13:14

OpenAI公开722篇数学手稿，称模型已证明拟黎曼猜想并形式化验证

OpenAI在GitHub公开722篇数学手稿，覆盖372个此前未决的数学难题家族，并称多数证明由一款未发布内部模型以平均约3小时的ChatGPT Pro思考算力完成。公开材料中包括对拟黎曼猜想的证明及Lean形式化验证，也涵盖Basic-SDP阈值普通NP-困难、CM阿贝尔簇有理霍奇猜想、马勒猜想等结果。消息发布后，数学界对其绕开同行评审、直接公开成果的做法出现强烈反应。

20

OpenAI

2026-09-28 17:12:22

OpenAI 设立数学独立咨询小组，成员称推进过程混乱

OpenAI 组建了一个由精英从业者组成的数学独立咨询小组，意在修复其与数学界的关系。不过据 The Verge 报道，包括该小组成员在内的数学家认为，这一安排的推进过程混乱且令人困惑，也带有 OpenAI 过去仓促进入数学领域时的相似特征。

340

AI

2026-09-28 09:06:22

四人团队借助 AI 与 Lean 完整验证庞加莱猜想证明

一个由 4 人组成的小团队把 Hamilton 与佩雷尔曼关于庞加莱猜想的证明完整写入 Lean，代码规模约 470 万行，其中约 270 万行在最后两周借助 ChatGPT、Claude 等 AI 完成。全部代码已通过 Lean 内核检查，没有留下任何 sorry 占位。项目负责人包括 UCSD 教授 Ben Chow、刚从康奈尔毕业的 Ziyang Qin、UCSD 博士生 Yuan Liao，以及 9 月加入的普林斯顿成员 Ayush Khaitan。

260

OpenAI

2026-09-22 00:08:11

OpenAI称新模型 24 天攻克逾百道数学难题并设独立顾问组

OpenAI公布称，一款自 8 月 28 日开始训练的内部模型已在 24 天内攻克 100 多道长期开放的数学难题，其中包括纳维－斯托克斯相关千禧年难题。公司同时成立由 9 位顶尖数学家组成的独立数学顾问组，成员包括 Timothy Gowers、Martin Hairer 和 Edward Witten。OpenAI表示，顾问组将评估成果重要性、讨论发布方式与时间，并关注 AI 时代数学研究的学术与职业规范。

530

OpenAI

2026-09-21 18:01:58

OpenAI 联合独立数学顾问组推进 AI 与数学成果负责任分享

OpenAI 宣布与一个独立的数学顾问小组合作，围绕 AI 与数学领域的进展建立更审慎的分享机制。该小组将就新数学成果的评估与传达、学术和专业标准的维护，以及支持数学研究和学习的工具建设向 OpenAI 提供建议。OpenAI 表示，希望让数学家处于塑造 AI 如何支持数学理解及其收益如何惠及更广泛社区的核心位置。

350

菲尔兹奖

2026-09-12 07:31:23

25位菲尔兹奖得主联署发声：AI解题竞赛偏离数学核心目标

25位菲尔兹奖得主在 mathandai.org 联名发布《数学与 AI》宣言，承认大型语言模型近几个月数学能力明显提升，但批评 AI 公司把解题当作能力基准，和数学界追求概念理解的目标并不一致。宣言称，AI 生成的解答常被仓促宣布，缺少充分写作、方法提炼与前人工作的引用，容易引发归功不清与整合困难。文件未点名任何公司或案例，但本月 OpenAI 的 Navier-Stokes 相关进展曾在数学界引发研究伦理与署名争议。

850