杂谈
OpenAI 一夜甩出 722 篇数学论文:黎曼、霍奇、BSD 全上阵,数学家:读不过来
OpenAI 一夜公开 722 篇数学手稿,全出自一个未发布的内部模型,归成 372 组结果,对应约 4000 个研究问题,平均每项算力约等于 ChatGPT Pro 思考 3 小时,论文+ 源码 + 部分 Lean 证明 + 10 份推理摘要全部上 GitHub。三道千禧难题被同时下手:H003 准黎曼猜想(声称 ζ 函数与所有 Dirichlet L 函数在实部大于 7/8 区域无零点,把无区突破度推进一截;另一版给出实部大于 11/12 + 一致排除 Siegel 零点)
OpenAI数学论文722 篇