OpenAI一次性公开377项AI数学成果，引发学界验证质疑
来源：环球网 【环球网科技综合报道】10月7日消息，据gizmodo报道，OpenAI发布一批由内部未发布前沿模型生成的数学研究成果，共含377项数学成果，涉及数百个长期悬而未决的数学开放问题。据悉，此次发布的手稿涵盖数论、代数几何、理论计算机科学、统计力学等多个数学分支。
OpenAI 一夜放出 722 篇数学手稿，准黎曼猜想也被破解？
昨天还在为一道高数证明熬夜，今天 OpenAI 直接把 722 篇数学手稿扔进 GitHub——这不是“AI 会做几道题”的新闻，是把数论、几何、理论计算机、数学物理一整片前沿成果批量产出来了。很多人看到“攻克 722 个难题”就晕：它真证完了？
全球直播，Astra狂破整数乘法纪录，AI蜂群24小时击穿CS圣杯
这在这几天，数学家、极客和成群的AI智能体，展开了一场震撼的接力。这次接力，发生在GitHub的一个开源仓库里。「人类直觉 + AI的海量试错」，组成了一支无坚不摧的去中心化蜂群。
OpenAI宣布攻破数百个难题，“数学之死”担忧成真？
OpenAI 在 GitHub 悄悄开了个 math 仓库，一次上传 722 篇数学手稿、归为 372 个结果家族，覆盖数论到代数几何。最受关注的是号称证明 ζ 函数与狄利克雷 L 函数在实部大于 7/8 的区域没有零点，并附 Lean 形式化验证，也在数学界引发激烈反弹。
AI让数学再也回不去那个旧世界了。
OpenAI 在 GitHub 开源 openai/math，722 份数学手稿归成 372 个成果组，覆盖数论、代数几何、理论计算机等方向，出自一个尚未公开的内部模型，每个结果平均消耗约 3 小时 ChatGPT Pro 级算力，数学评测本身已经刷满。
数学大爆炸！OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明
他们简单粗暴地接放出GitHub项目库 math 。里面是722 篇数学手稿，涵盖了 372 个此前悬而未决的顶级数学难题家族。
OpenAI 一次性砸出722篇数学论文，炸了数学界？
10月6日，OpenAI一次性释放了722份数学成果论文，涵盖了372个数学开放问题，这些结果来源于4000多个研究问题的测试，每项成果平均消耗了相当于ChatGPT Pro约三小时的计算量。
重磅！OpenAI之后，AI再破广义黎曼猜想
10月6日，OpenAI没有灵光一闪，没有顿悟，他们的AI像一台超级推土机，暴力证明了准黎曼猜想。数论学家Hector Pasten 对 OpenAI 排除 Landau–Siegel 零点的结果明确表示惊叹，并强调这是「解决了问题」而非仅是进展。
数学大爆炸，OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明
里面是722 篇数学手稿，涵盖了 372 个此前悬而未决的顶级数学难题家族。其中，OpenAI 未发布的 AI 模型证明了拟黎曼猜想，并同步发布了 Lean 形式化验证。
刚刚，OpenAI撤回了三篇AI数学论文，竟是因为符号写错了
来源：市场资讯（来源：机器之心）编辑｜Panda昨天一口气放出 722 篇 AI 数学手稿的 OpenAI，刚刚撤回了其中 3 篇。原因说来简单：一个正负号写错了。刚刚，OpenAI 在 openai/math 仓库中发布了第一份更新日志。