兰道-西格尔零点「被OpenAI证明」后，新论文把它简化成入门练习题

akbirthko · x · 2026-10-20

一则数学圈劲爆（且需核实的）消息：配图论文《An Elementary Proof of the Non-Existence of Landau-Siegel Zeros》（Kevin Barreto）称，兰道-西格尔零点的一致不存在性「首先由 OpenAI 证明」，随后 Banks、Kerr、Green 等人给出简化，本文再用 Wronskian 行列式行独立性论证进一步简化 Green 的行列式证明，作者称简化来自「GPT-6 Astra」并用其校对全文——参考文献里直接列有「OpenAI, Uniform exclusion of Landau-Siegel zeros, OpenAI Math Release preprint, 2026」。

发推者感慨：一个本来够拿菲尔兹奖的公开问题，如今被压缩成未来教材里的练习题。注意：文中年份与「GPT-6」等表述超出当前已知事实，真伪待核实，但若属实则是 AI for Math 的标志性事件。