10月21日深夜，热榜词条“AI将张益唐数学难题化为习题”冲上榜首，源头是B站当晚发布的一条同题视频。视频说的“难题”，是张益唐自2022年预印本以来持续冲击的朗道‑西格尔零点猜想。10月6日，OpenAI一次性公开722篇由内部前沿模型生成的数学手稿，按372组结果族挂上GitHub，其中就包括宣称一致排除西格尔零点的“准黎曼猜想”论文，部分成果附带Lean形式化机器验证。而“化为习题”的直接来源，是这篇证明随后被数论教授改写成6页简化版——“张益唐教授冲击多年的猜想现在6页就搞定了”正是解读帖的原话。哔哩哔哩微博知乎
先把两个容易被标题混淆的判断说清楚：“习题”不是AI证明的原貌，而是人类社区消化它之后的产物；它排除的也只是广义黎曼猜想路障之一的“西格尔零点”，黎曼猜想本身没有被证明。
从9页、6页，到传言里的“3页”
OpenAI这篇论文的原始版本有9页，已被中文数学社区逐段对照过。视频热评里被顶到前排的一句话，是这场“习题化”叙事的起点。更有回答直接总结成“张益唐的十年磨一剑，AI竟然只需要3页”。知乎哔哩哔哩知乎
页数口径从9页、6页一路“缩水”到3页，需要拆开看。目前公开可查的最短简化版是新南威尔士大学数论教授Bryce Kerr的6页预印本；“3页版”至今只存在于评论区转述，未见定稿。至于为什么能变短：据论文的中文解读，OpenAI的原证明沿用了“对数导数—素数匮乏—双二次域插值行列式下界对上界取矛盾”的经典结构，而Kerr的改写把最重的插值与行列式分析，替换成鸽巢原理和现成的多元零点估计，整条论证缩成了一串能顺着读完的引理——“能写进课本”的技术含义在这里：不是问题变简单了，而是AI产出的证明被人类拆成了教科书里的既有工具。
OpenAI披露的生产线同样解释了“批量”从哪来：模型尝试了约4000道开放问题，平均一项成果的算力大约相当于ChatGPT Pro思考3小时。成果直接托管在仓库openai/math里，只放预印本、推理轨迹与形式化代码，没有发布会式预热。知乎知乎
验证走到哪一步了
10月中旬，密苏里大学数论教授威廉·班克斯（William Banks）在预印本网站贴出《朗道-西格尔零点不存在的OpenAI证明》，对AI的结论做独立核查。他的验证声明相当硬：“一行一行检查过，完全对结果负责”；这位教授自上世纪90年代就在研究西格尔零点，据熟悉其工作的同行说，这次核查过程中也用了AI做数值计算。微博知乎
但个案背书不等于社区整体接受。保留意见的部分原因恰恰是“看起来太简单”，另一部分来自整批手稿的质量参差：发布次日就有3篇论文因正负号错误被撤回，涉及的是霍奇猜想相关结果，并非“准黎曼”这一篇，但也让“722”这个数字显出了倾销式发布的代价。哔哩哔哩
张益唐在这道题上的真实坐标
热词条把张益唐当作“被AI解题的参照物”，需要把他的位置摆准。他在2013年的成名作是孪生素数方向——证明存在无穷多对差小于7000万的素数，最好上界后被人类社区推到246并停留了十余年，这是另一条战线。朗道‑西格尔零点才是这次的主角：2007年他的预印本因漏洞未能发表，2022年的《Discrete mean estimates and the Landau‑Siegel zero》是重要推进，但按公开口径并未完成证明。西格尔零点被称作“广义黎曼猜想里最凶险的一个小漏洞”，AI这篇论文攻的就是这个漏洞，而不是完整的黎曼猜想。微博
也不是AI第一次“碰到”张益唐：2026年7月20日，数学家在Anthropic模型Fable5的协助下构造出雅可比猜想的一个反例，证伪了这一提出近90年的猜想——那正是张益唐博士期间的主攻方向。两次事件叠在一起，构成了这条热榜词条的情绪底色。微博
数学家分裂成了两种姿势
发布次日，菲尔兹奖得主陶哲轩代表“人类数学协会”（AHM）发表联合声明，强烈敦促数学家停止与OpenAI的合作，重回以人类理解为核心的数学。而在西格尔零点这篇论文发布当天，数论学者已经自发组织在线研讨会把它读完了；被圈内广泛转述的菲尔兹奖得主梅纳德的评价是——“或许这是魔鬼的礼物，但这个礼物真的太棒了”。微博微博
两种姿态背后是同一个现实问题：“这些手稿，谁读？”“连读完所需要的时间远超生成时间”在学术群里被广泛转述，有在读博士生向博主谈到，AI能造反例、能出证明，对自己的课题已是直接压力；热评区最高赞则是学生的自嘲——“让OpenAI再狂几天吧，我线代补考已经过了”。知乎
接下来值得盯住的只有三件事：OpenAI的“准黎曼”原始论文何时放出定稿并补齐其余Lean形式化；班克斯的个案核验会不会转化为数论界的集体背书；以及Kerr这类6页简化版，会不会真的作为“课后习题”走进教材。三件事都落地之前，“AI把张益唐难题化为习题”只能算一个正在被验证的进行时。
