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