张益唐未竟难题被OpenAI攻破！人类联手GPT-6接力两周，证明只剩5页
2007年、2022年，张益唐两次发论文冲击 它， 最后那篇写了111页，拿下的也只是一个弱化版本。
就在这两天， 牛津数学家Ben Green甩出了一份排除Siegel零点的证明 ，在数学圈炸开了锅。
而这5页， 竟然出自Green和ChatGPT 6 Astra的一次「vibemathing」 ，也就是和AI边聊边把证明做出来，他事后只是亲手把论证重写了一遍。
论文地址：https://hexagonmath.org/pdf/2610.00311v1
近百年里，从Siegel到张益唐，一代代数学家在这道题前止步。 这一次，AI率先撞开了大门，人类数学家紧跟着冲了进去。
10月6日，OpenAI一口气公开了700多篇数学手稿。 在这堆大部头中间，夹着一篇很薄的论文《一致排除Landau–Siegel零点》，正文只有8页。
他把论证从头铺开，写成19页的详尽版， 还把原证明里只知道「存在」的那个常数，算成了一个具体的数： 0.003 。
又过了4天，澳大利亚新南威尔士大学堪培拉分校的Bryce Kerr，一刀把证明砍到了6页。
他把原证明里最繁琐的插值和行列式推导，整个换成了「鸽巢原理」，也就是10个苹果放进9个抽屉，总有一个抽屉里不止一个苹果。
10月18日，斯坦福大学数学家Jared Lichtman激动地转发了Kerr的论文， 直呼它「也许就是那本书里的证明」 。
Lichtman随即发帖，把这一幕比作1954年班尼斯特第一个跑进4分钟一英里。
数学家研究素数分布，靠的是一类叫L函数的工具。它的零点离1越远，素数就分得越均匀， 偏偏有些L函数可能藏着一个紧贴着1的实数零点。
近百年来， 大量关于素数分布的定理，都只能拖着一条尾巴： 「除非存在Siegel零点」。
如果幽灵存在，绝大多数小素数都会被迫站到同一边。 Green用这些素数造出一个巨大的正整数det G，它的大小有一个天花板。
关键一步像照镜子。 对这些素数取p次方，√d就变成了−√d ，det G也因此被它们一层层整除，至少得越来越大。
比起OpenAI原版， Green全程只待在一个更小的数域里 ，行列式也直接写成了显式的式子。
这场冲击，直接砸到了Green自己头上。6月，他刚拿下欧洲研究理事会的高级资助。 4个月后，大约 四分之三 的研究目标就被AI攻破了。
陶哲轩就没这么洒脱了。 他痛心的是，这些AI证明背后没有一个人能回答问题、做报告、带学生，没人能参与后续发展。
不到两周，后续发展真的来了， 只是AI依然在场。 Kerr的致谢里写着ChatGPT，Green干脆在第一页声明，不主张任何人类原创性。
一位证明过格林-陶定理的顶级数学家，成了AI证明的重写者。 放在一年前，没人敢想这个画面。
10月20日，Banks还要去德国波恩的马普数学所做两场报告， 把这份证明从头到尾讲给同行听。
伦敦玛丽女王大学数学教授Abhishek Saha看完这几版证明说，研究经典解析数论的人在这道题上卡了很多年， 大家都觉得它难得离谱。
放在以前，这种事只能等哪个天才灵光一闪。 现在，AI先把路蹚出来，数学家再拉着AI把路修短、修直 ，后面的人就都能跟上。