张益唐未竟难题被OpenAI攻破!人类联手GPT-6接力两周,证明只剩5页
AI 导读
OpenAI 的一个未公开内部模型率先攻破了 Siegel 零点这一数论难题,数学家随后接力,用 12 天把证明压缩到 5 页。10 月 6 日,OpenAI 公开 700 多篇数学手稿,其中一篇 8 页论文证明紧贴 1 的 Landau–Siegel 零点不存在。5 天后,密苏里大学数学家 William Banks 写出 19 页详解版,并把原证明中只知存在的常数算成 0.003;又过 4 天,澳大利亚新南威尔士大学堪培拉分校的 Bryce Kerr 用鸽巢原理把证明砍到 6 页,并在致谢中写明 ChatGPT 参与了推导和写作。牛津数学家 Ben Green 最终给出 5 页的反证法证明,称其出自与 ChatGPT 6 Astra 的协作,并在论文首页声明不主张任何人类原创性。张益唐 2022 年的论文曾用 111 页给出这一问题的弱化版本。
推荐理由
OpenAI 内部模型先给出证明、数学家接力把篇幅压到 5 页,呈现出 AI 参与数学研究的协作分工。
相关论文