2026年10月21日晚，一条题为「张益唐苦思冥想的数学难题，被AI化为课后习题」的视频冲上B站热榜，上线不到一天播放量破十万。 「习题」不是标题党修辞，背后有真实事件链：10月上旬，OpenAI在GitHub一次性公开722篇数学手稿，覆盖数百个未解难题，其中包含张益唐主攻多年的朗道-西格尔零点猜想。 一句话先给结论：被「降」成习题的不是难题本身的难度，而是AI证明的可读性与消化成本。哔哩哔哩量子位
张益唐最放不下的问题，AI两个月前顺手「清了库存」
黎曼猜想旁边最凶险的潜在破口，是一个叫西格尔零点的可疑对象：狄利克雷L函数上一个非常靠近s=1的零点。 它若存在，广义黎曼猜想直接破产。1935年西格尔证明这种零点不能无限逼近s=1，但那个界是「无效」的——知道常数存在，却算不出数值；朗道-西格尔零点猜想要的，正是一个能用的统一界。这也是张益唐2013年凭孪生素数成名后最想拿下的山头：2022年11月，他在北大公开演讲中表示，在本质上已经证明了朗道-西格尔零点猜想。 但那篇111页的论文始终没通过同行检验，同年11月陶哲轩就公开表示论文存在技术问题、已请他澄清。 此后四年，修正稿一直停留在「在路上」——这次越过终点的不是他，而是机器。微博澎湃新闻微博
九页论文，与「两个菲尔茨奖」的标尺
10月6日前后OpenAI放出这批手稿时，被最先点名的是准黎曼猜想：所有Dirichlet L函数在实部大于7/8的半平面内没有零点，西格尔零点随之被直接排除——这比张益唐多年主张的结果强得多。 陶哲轩10月19日发布讲解指出，这批发布含两篇独立论文分别建立无零点界，而真正引爆「习题」话题的是第三篇：它不证准黎曼猜想，只用九页篇幅直接排除西格尔零点。 至于它的分量，数论学者Kontorovich给出了一个被反复转述的参照——无Siegel零点这一项，或可算「两个菲尔茨奖」。微博知乎36氪
「化为习题」，其实是两周的集体消化
发布当天，数论学家就组织了在线研讨会；菲尔兹奖得主梅纳德的评价是，来自AI企业的论文或许是魔鬼的礼物，但礼物真的太棒了。 随后两周，九页证明被人类一轮轮拆薄：新南威尔士大学数论教授Bryce Kerr发布了一个6页的简化版本。 Banks、Kerr与Green各自给出消化整理，陶哲轩在博文里逐节概述了他认为「格外优雅」的Green版本，Pescador与Barretto的新预印本还在进一步锐化常数。微博知乎知乎
B站评论区流传最广的一句总结，是「被缩到三页了，可以直接写到课本上」。 拆开看，骨架确实像一道高级习题：假设零点存在，用抽屉原理造出一个低次多项式，再用Masser定理的次数下界宣判它不可能存在。 但要提醒：每一步都站着Masser定理这类研究级工具，它绝不是大一高数题——「习题」化的真实含义是，一个世纪的难题第一次被压缩成普通人愿意读、读得完、提得出意见的证明。哔哩哔哩知乎
热闹之外：验证才是瓶颈，人类没有离场
截至10月22日，722篇手稿没有任何一篇完成期刊级确认，陶哲轩的原话是它们仍在被充分消化。 社区里「OpenAI是不是偷了草稿」的质疑也始终没有平息。知乎
与此同时，AI数学的节奏肉眼可见地在变密：7月Claude系模型帮人证伪了悬置87年的三维雅可比猜想，反例短到大一新生能手算验证。 8月Anthropic把ζ函数零点落在临界线上的比例下界刷新到67.2%。 9月GPT-6又把素数间隙的上界从246压到186。新智元澎湃新闻微博
人类数学家也没闲着：10月中旬，三位学者借助新的无零点结果，把2007年Ellenberg-Venkatesh那个依赖广义黎曼猜想的条件性界限变成无条件定理，终结了一道悬置19年的难题，并在文末写下被社区反复转引的一句话。36氪
然后呢：把「习题」还给课堂
张益唐今年5月还在科技论坛上说，AI对数学知识的掌握远未完善，在真正的数学理解与美感体验上仍有很长的路要走。 五个月后，他奋斗半生的问题被AI以九页篇幅覆盖；截至目前，公开渠道尚未检索到他本人对这一事件的可核实回应。接下来值得盯住的有三条线：722篇手稿能否通过完整检验并正式发表；7/8这条无零点界会被人或机器往1/2推多远——那才是离广义黎曼猜想真正的距离；以及陶哲轩这篇讲解本身：当一个世纪的难题变成课堂讲义，数学家剩下的工作，是理解、追问，并决定下一道「习题」出什么。科学网
