OpenAI 一夜发布 722 篇数学手稿，准黎曼猜想被证明

OpenAI 在 GitHub 开源项目库 math，放出 722 篇由内部未发布前沿模型产出的数学手稿，覆盖 372 个此前未解的难题家族，其中 Result 003 证明了准黎曼猜想（所有狄利克雷 L-函数在实部 ℜ s > 7/8 半平面内无零点）并同步给出 Lean 形式化验证。