OpenAI证明准黎曼假设后，人类数学家借其成果解决广义黎曼猜想相关难题

OpenAI宣称AI证明了准黎曼假设。随后Cureton与Thorner利用该突破，证明有限阶Hecke L函数在特定区域无零点，开源社区将边界推至1/32并用Lean验证。Frei等三人借此无条件证明了悬置19年的Ellenberg–Venkatesh界，并声明未使用AI工具。