OpenAI 一夜攻克 722 个数学难题，准黎曼猜想已被证明

OpenAI 未经同行评审，直接在 GitHub 开源库 math 发布 722 篇数学手稿，覆盖 372 个此前悬而未决的顶级难题家族，其未发布的内部模型给出了准黎曼猜想的证明并附 Lean 形式化验证。