人类数学家声明未用AI解决19年难题
发生了什么
据凤凰网·科技报道，OpenAI于10月6日宣称AI证明了准黎曼假设。随后，数学家Cureton与Thorner利用该成果证明有限阶Hecke L函数在“1-1/6000”右侧无零点。开源社区通过极限压榨将边界推至1/32，并由AxiomProver生成Lean形式化验证。最终，Frei、Somos与Widmer利用此无零点区域结果，无条件证明了悬置19年的2007年Ellenberg–Venkatesh界。该论文末尾声明：“这项工作中，没有使用任何人工智能工具。”
报道与来源
1 篇发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。
- 凤凰网·科技来源报道
OpenAI之后，AI再破广义黎曼猜想
来源关系与证据边界
按已记录的来源角色展示；连线仅表示原生身份流程确认的同稿入口，不表示独立佐证或跨报道引用。
- 来源报道1 个发布入口