热搜上"张益唐的难题被AI做成了课后习题"的说法，现在可以追溯出处：它出自自媒体对OpenAI近日在GitHub一次性公开的一批AI生成数学手稿的转述，而把这句话推上热榜的B站原发视频，本身就是UP主标注的AI创作。 属实的是另一部分：这批722篇手稿确实包含准黎曼猜想、霍奇猜想等难题的进展。 而"化为习题"这个判断超出了现有证据：OpenAI在这批手稿发布后，就因为出现错误撤回了3篇。 随后官方更新日志显示又有14篇被修订、13篇更新引用；至于把证明化简成"本科生作业水平"的社区版本，至今没有任何数学界或OpenAI认可的出处。哔哩哔哩第一财经第一财经
手稿是真的，"习题"是加工出来的
光明网的梳理显示，这批722篇预印本论文在GitHub上公布，按照结果相关性划分为372个"结果族"，涵盖理论计算机科学、数论、几何、数学物理等17个领域，报道同时提到，部分成果附有Lean形式化证明，可由计算机逐步检查逻辑推导的有效性。光明网
知乎的数学解读介绍了其中最接近张益唐的一项：编号003的结果族题为"准黎曼猜想"，该成果不仅在极宽的安全半平面（实部大于7/8）证明了绝无任何杂乱零点，还彻底排除了"幽灵零点"——朗道-西格尔零点的存在。 朗道-西格尔零点正是张益唐在2013年凭素数间隔成名之后长期主攻的方向，按同一解读，他为此奋斗多年，此前发表过的相关论文还被认为存在漏洞。知乎
“课后习题"的说法则集中出现在10月21日当天：小红书有帖文称，这份AI证明公布后"然后还被一个大二的学生再次使用AI将证明化简为初等的本科生能接受的水平（只要学习完解析数论）”，帖文打了"剑桥数学"标签，但此人的身份和所用模型没有任何可查证的公开信息。 社区流传的证明页数从3页到9页不等、口径互相矛盾。换言之，热榜措辞对应的是社区二创叙事，不是任何官方机构的结论。小红书
检验只走到一半：是候选证明，不是已接受的定理
10月17日起，知乎的专业讨论把焦点从"解决了没有"挪到"检验到哪一步"：一份对该成果的独立验证文章声明很强，作者逐行检查过并且完全对结果负责。 其作者是专攻朗道-西格尔零点方向的正教授William Banks，而Ben Green等数学家也已发表重解释文章。知乎
同一讨论同时指出，按现有材料，覆盖11/12和7/8的长短两篇都只能算是sketch，具体计算仍需要人工核对；"准黎曼猜想"本身又比朗道-西格尔零点强得多——所以"这个问题被解决了吗"目前在数学社区内部本身就是争议。 2018年菲尔兹奖得主泽尔曼诺夫对中国新闻周刊的说法点出了关键：Lean是现在唯一验证AI证明正确性的方式，这是一种代码语言，可以理解为证明器。 也就是说，形式化工具能检查机器写出的证明，但"检查通过、社区接受"这两步都还没有走完。知乎中国新闻周刊
真正站得住的是"刷纪录"：186给出的能与不能
回看这条问题链：2013年，张益唐证明存在无穷多对素数，其间隔不超过7000万。 几个月后梅纳德用多维筛法把上界降到600，2014年陶哲轩推动的Polymath项目再降到246。2026年夏天，这条纪录链成了各家AI公司的跑分场：素数间隔上界被从246一路推进到186，宣布者是宾夕法尼亚大学统计学教授、OpenAI研究员苏炜杰，同一时期Axiom Math报出212，Anthropic的Claude团队报出188，而不借助AI的人类数学家Julia Stadlmann做到了240。光明网36氪
但把边界划得最清楚的，恰恰是宣布者本人。他在接受《中国科学报》专访时直言，186"在数学上不算大突破"，也不会是长期保持的纪录；这一步已经接近核心工具筛法的能力边界，从这里继续逼近真正的孪生素数猜想，还面临筛法的奇偶障碍。 按其描述，突破246的新技术思路由AI给出、人只提供了简单提示词——但AI做的，仍然是在数学家既有框架内的增量优化，而不是发明新框架。这就是当前AI解题能力的真实边界：能刷纪录，难破天花板。光明网
"张益唐+AI"的叙事有固定模板，这不是第一次
7月，新智元以"让张益唐苦熬7年的雅可比猜想，Fable 5竟一夜推翻证伪"为题，报道Anthropic研究人员Levent Alpoge用AI构造出雅可比猜想三维情形的反例。但这轮包装很快被专业读者指出错位：AI证伪的是三维情形的广义猜想，张益唐当年研究的二维情形并不是三维的简单低阶版本，而是这个问题里更核心、至今仍未解决的部分。 从7月的"困住张益唐"到10月的"课后习题"，模板如出一辙：拿一个真实的AI进展，接上张益唐的名字，把"推进"写成"解决"。36氪
张益唐本人对AI反倒清醒得多。在2026年5月的搜狐科技年度论坛上，他透露这次原本尝试用AI生成演讲PPT，却发现AI对这些素数还没有学会，只学会了一样东西——吹捧，“把我吹捧得怎么了不起、怎么伟大，弄得我都脸红了”。 他也表示，如果AI能系统学习筛法的基本思路和方法，将大幅提升研究效率。一年前接受新华社专访时他更旗帜鲜明地反对"AI来了就可以不学习"：正因为人工智能时代到来，未来数学可能更重要了，应该多学一点数学。光明网新华网
数学界划出的红线，和接下来值得盯的三个信号
数学社区的划线动作是递进的：2026年6月，16位知名数学家联合发布《人工智能与数学莱顿宣言》，要求透明披露工具使用、责任归属人类；9月11日，包括陶哲轩、邓煜在内的25位菲尔兹奖得主联合发表《人工智能在数学中的严重错位》声明，称AI公司将解决数学难题作为模型能力基准的做法，对数学科学本身及数学界造成了损害，与数学共同体追求概念理解的根本目标产生了显著分歧。 由顶尖数学家组成的数学与人工智能咨询组（AGMAI）也发布建议，明确反对前沿AI实验室使用外界无法访问的内部模型测试高难度数学问题；陶哲轩则针对722篇手稿呼吁数学家重回以人类理解为核心的科学愿景，称发布超过700个数学文件不是展示学术，而是展示权力。中国新闻周刊光明网
对用户来说，这条热点是兑现还是退潮，盯三个信号就够了：准黎曼猜想这份结果能否在人工逐行核对后获得社区接受；186会不会像苏炜杰自己预言的那样被很快刷新——那将坐实这轮竞赛的跑分性质；以及这批手稿何时进入正式的同行评审。AI若真要从"做题"跨进"做数学"，标志会是催生新的理论框架，而不是又一项新纪录。到那时，如果热搜上仍然写着"张益唐的难题已被AI化为习题"，它大概率只是7月"困住张益唐"那次包装的重演。
