全球直播，Astra狂破整数乘法纪录，AI蜂群24小时击穿CS圣杯
这在这几天，数学家、极客和成群的AI智能体，展开了一场震撼的接力。这次接力，发生在GitHub的一个开源仓库里。「人类直觉 + AI的海量试错」，组成了一支无坚不摧的去中心化蜂群。
重磅！OpenAI之后，AI再破广义黎曼猜想
10月6日，OpenAI没有灵光一闪，没有顿悟，他们的AI像一台超级推土机，暴力证明了准黎曼猜想。数论学家Hector Pasten 对 OpenAI 排除 Landau–Siegel 零点的结果明确表示惊叹，并强调这是「解决了问题」而非仅是进展。
OpenAI 一次性砸出722篇数学论文，炸了数学界？
10月6日，OpenAI一次性释放了722份数学成果论文，涵盖了372个数学开放问题，这些结果来源于4000多个研究问题的测试，每项成果平均消耗了相当于ChatGPT Pro约三小时的计算量。
AI，别欺数学家太甚
杨冬自杀，外部背景是:三体人的智子干扰，让全球高能粒子加速器粒子碰撞结果完全随机、不可复现，这导致全球多名顶尖物理学家信仰崩塌，引发了物理学家自杀潮。
数学大爆炸，OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明
里面是722 篇数学手稿，涵盖了 372 个此前悬而未决的顶级数学难题家族。其中，OpenAI 未发布的 AI 模型证明了拟黎曼猜想，并同步发布了 Lean 形式化验证。
数学大爆炸！OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明
他们简单粗暴地接放出GitHub项目库 math 。里面是722 篇数学手稿，涵盖了 372 个此前悬而未决的顶级数学难题家族。
AI让数学再也回不去那个旧世界了。
OpenAI 在 GitHub 开源 openai/math，722 份数学手稿归成 372 个成果组，覆盖数论、代数几何、理论计算机等方向，出自一个尚未公开的内部模型，每个结果平均消耗约 3 小时 ChatGPT Pro 级算力，数学评测本身已经刷满。
AI让数学再也回不去那个旧世界了。
来源：数字生命卡兹克昨天早上，可能会是人类时代的一个分水岭。
刚刚，OpenAI撤回了三篇AI数学论文，竟是因为符号写错了
来源：市场资讯（来源：机器之心）编辑｜Panda昨天一口气放出 722 篇 AI 数学手稿的 OpenAI，刚刚撤回了其中 3 篇。原因说来简单：一个正负号写错了。刚刚，OpenAI 在 openai/math 仓库中发布了第一份更新日志。
OpenAI一次性公开377项AI数学成果，引发学界验证质疑
来源：环球网 【环球网科技综合报道】10月7日消息，据gizmodo报道，OpenAI发布一批由内部未发布前沿模型生成的数学研究成果，共含377项数学成果，涉及数百个长期悬而未决的数学开放问题。据悉，此次发布的手稿涵盖数论、代数几何、理论计算机科学、统计力学等多个数学分支。