2026年10月7日（北京时间），OpenAI把一批内部前沿模型写出的数学手稿直接挂上GitHub：首版目录722份，按相关性归为372个“结果族”，覆盖数论、组合、理论计算机、数学物理等17个领域，全是没有经过同行评审的预印本。 三周半后回看，“解决了哪些真问题”首先不是数学问题，而是核验问题：一份手稿要变成定理，得先后过两道门——机器能否逐行查验（Lean形式化），领域人类专家读没读、认不认、有没有改写加固。按这两道门衡量，截至10月31日真正站住的“真问题”只有少数，大部分结果仍停在“OpenAI声称”的状态。盒饭财经
先拆开三个流传最广的说法
第一个是“解决了黎曼猜想”。003号结果族证明的是“准黎曼”：无零点边界推进到实部7/8，对zeta函数与所有狄利克雷L函数同时成立——这是黎曼猜想的弱化版，与临界线1/2仍有距离。 知乎上检查这批手稿的解析数论用户走得更远：外部把它的Lean形式化跑了一遍，没查出问题，“很大概率是对的”；但转述陶哲轩的判断，这一结果往1/2推进可能性不大，没有新思想会在3/4碰上本质障碍。 据新智元转述仓库说明，这也是全批成果里唯一没有由模型全自动产出、经研究团队严密人工审查和可读性润色的一项。 所以准确的说法是：它是最可能第一个被确立的候选，而不是黎曼猜想本身被解决。机器之心知乎新智元
第二个是“一夜解决三百多道难题”。372是“族”，不是定理：一篇文章可以有多个结论，一个资料夹也可能回答不同问题，而其中一些族的答案还是反方向的——证伪。 把族直接换算成“解决”，是把预印本目录当成了成绩单；机器之心的粗略检索显示，摘要带“证伪”“反例”字样的成果族约有50个，不少流传半个多世纪的猜想是被推翻、而不是被证明的。盒饭财经
第三个是“推平调和分析四大猜想”。这个在高赞帖里传开的说法被知乎调和分析答主逐条核对过：079号手稿证明的是Sogge猜想在三维欧氏空间半波方程中的特定版本，不是所有版本的局部平滑猜想，且建立在王虹–Zahl三维挂谷证明等人类成果之上，未附形式化。 所有维度的版本要到10月26日才另行公布——OpenAI宣布证明所有维度局部光滑化猜想、证伪指数时间假设ETH，并为包括量子色动力学在内的四维量子场论建立存在性证明，这三项截至发稿同样没有公开的人类独立复核结论。知乎机器之心
哪些结果经得起两道门
最硬的一档，是已经有数学家深度介入的。布伦南猜想（072号族）经包括2010年菲尔兹奖得主斯米尔诺夫在内的四位数学家审核，被认为论证正确，而人类顺手写出了大幅简化的证明、还得到更强的结果。 射影平面曲线的永田猜想，被马萨诸塞大学的代数几何学家Tevelev用一篇19页论文重写了AI的证明。“AI出证明＋人类改写加固”，是目前唯一反复兑现成色的路径。知乎
中间一档，机器可查、等待人审。平面染色数（Hadwiger–Nelson问题）的下界从5推进到6，几十年的悬案答案被压缩到只剩6和7两种可能，附有Lean形式化。 新稿还声称把π的无理性测度钉到了2——此前数学家能证明的上界在7左右，2是理论最小值。 同样出现在机器核验名单上的，还有马勒猜想全维数的对称与非对称版本，以及埃尔德什悬赏五千美元的等差数列猜想。“附有形式化”是仓库自述口径，同行评审这一道都没走完。机器之心盒饭财经
最浅的一档只有声称，而且已经出过事故。OpenAI 10月8日的首份更新日志显示：在列手稿从722降到719，撤回3篇、修订14篇、13篇更新引用。 事故原因朴素得刺眼：一处关键论证把几何操作的符号记成了+1，而按论文自己的约定它应当是-1，另两篇因借用这套构造连带失效——被撤的恰好都是霍奇猜想相关的032族。 OpenAI在撤稿说明里强调，撤回的是证明、并不意味命题本身为错；媒体对其清单的归纳则是：没有形式化的结果，目前只能算“声称”。盒饭财经机器之心
还有一类常被标题吞掉的“真问题”，答案是“此路不通”。组合数学37个成果族里最出人意料的，就是1943年提出、长期被视为图论最重要开放问题之一的Hadwiger猜想在更强口径下被推翻。 给错误方向找反例同样是在解决数学问题，只是不如“证明”二字好听。机器之心
卡住答案的是阅卷速度
产与验的规模完全不对称。据媒体转述的官方披露，绝大多数难题的证明，模型平均只花了约3小时ChatGPT Pro思考算力。 人类这一头，约六成成果族附有由计算机逐行检查过的证明，其余暂按“声称”处理——而撤稿事故提醒，机器查验也不等于语义正确。 愿意免费阅卷的人更少，知乎上有答主直言这批手稿“很多论文确实写得烂，既冗长又没轻没重”，审核的数学家“应该申请精神工伤”。新智元机器之心知乎
争议和发布方的表态，是同一枚硬币的两面。陶哲轩等25位菲尔兹奖得主9月联名的《人工智能在数学中的严重错位》尚未散去，中国新闻网报道了数学界的另一重不满：一次性发布700多份文件，展示的不是学术研究，而是权力。 组合数学家卡莱的态度更微妙：他称这次发布是数学的一个惊人里程碑，紧接着提醒——证明仍需人类数学家核验、消化。 励建书院士在中新网采访里给出的标尺最平实：宣称证明本身不说明问题，要经过验证以后，才能承认确实证明了。中国新闻网盒饭财经中国新闻网
最有意思的变化来自发布方自己。10月26日的三项成果，OpenAI给了一个新材料的说法：原始研究数据——把“产生证明”与“形成科学理解”分开，并为ETH证伪结果专门邀请该假设的提出者Impagliazzo、Paturi等人组织外部审查。 这既像姿态调整，也是被验证现实逼出来的：那堆722（现719）份材料里有多少真金，连挖金子的人自己也不敢打包票。机器之心
所以，“到底解决了哪些真问题”目前只能给到三张观察名单：准黎曼（003族）与平面染色下界（158族），看外部Lean核验和人类改写论文会不会向它们扩散；仓库的更新日志，看撤回与修订是否继续增加；10月26日起的三项新成果，看独立审查是否放行。名单收敛之前，“全部为真”和“全是垃圾”这两种读法，都是在替数学家提前交卷。王坚院士看得更远些：AI的介入，事实上会促进人类提出更多原创性的问题。 这一次真正的分水岭，也许不是解决了多少定理，而是“提出问题”终于被承认是人类暂时不可替代的那道工序。中国新闻网
