AI协助下数学家证明广义黎曼猜想某种形式，19年难题被无条件解决

继10月6日OpenAI宣称AI证明准黎曼假设后，数学家Cureton与Thorner在预印本平台Hexagon发表论文，将该工具应用于有限阶Hecke L函数，证明其在1-1/6000右侧无零点；开源社区随后将边界推进至1/32，并由AxiomProver生成Lean形式化证明在GitHub开源。