AI助人类6天将零点自由区扩至1/32 并无条件解决19年悬案

2026年10月6日，OpenAI发布199页报告，宣称其边界模型证明‘准黎曼假设’：所有有限阶Hecke L函数在实部大于7/8区域无零点，首次确立固定宽度零点自由带，排除Landau–Siegel零点，引发学界震动。10月12日，人类数学家Dean Cureton与Jesse Thorner在AI成果启发下，将该结论迁移至更广义对象，将零点自由区推进至Re(s) > 1−1/6000，并声明证明全程未使用AI工具。随后，全球开源社区通过GitHub发起分布式优化，反复精简逻辑链与误差项，最终将边界稳定于Re(s) > 31/32（即1/32自由区），宽度较原结果扩大约187倍；该结果由AxiomProver生成形式化证明，并经Lean定理证明器验证，代码开源。10月18日，Christopher Frei、Efthymios Sofos与Martin Widmer联合发表论文，直接调用1/32结论，无条件解决了2007年Ellenberg–Venkatesh关于数域类群ℓ-挠部分的上界估计难题——此前该问题长期依赖广义黎曼猜想成立这一未证前提，悬置达19年。另德国数学家Peter Bürgisser基于该进展严格证明Valiant猜想（VP ≠ VNP），连接解析数论与计算复杂性理论。整个过程体现新型科研范式：AI突破技术瓶颈，人类主导问题转化与理论整合，开源社区协同验证，形成高效闭环。当前成果仍属准黎曼假设范畴，尚未触及原始黎曼猜想核心，但1/32边界的建立为向临界线Re(s)=1/2逼近提供了实质性支点。