RadarAI· X:Ethan Mollick (@emollick)·· 9 天前AI 评分62
Ethan Mollick 观察 OpenAI 证明引发社区快速迭代改进
AI 导读
Ethan Mollick 转发并评论称,在 OpenAI 发布一系列证明引发数学界争议之际,其中至少部分证明似乎已引发大范围协作者社区的极快速迭代式推进。他引用的进展显示,κ 从 2⁻¹⁸² 收紧到 2⁻¹⁵,较此前结果提升 50 万倍,较 OpenAI 原始结果提升 2^167 倍。引用者 Doug Colkitt 表示已合并 Rohan 的 PR,并称这是多位贡献者技术结合的社区成果。
正文 · AI 翻译
Ethan Mollick· @emollick · X·2026-10-09 01:41· 1 小时前AI 评分54
AI 导读
Ethan Mollick 转发社区进展并评论称,在 OpenAI 发布一系列证明引发数学界争议之际,其中至少部分证明似乎已引发大范围协作者社区的极快速迭代式推进。其引用的进展将 κ 从 2⁻¹⁸² 收紧到 2⁻¹⁵,较此前结果提升 50 万倍,较 OpenAI 原始结果提升 2^167 倍。
正文
有意思的是,鉴于 OpenAI 发布一系列证明及其对数学学科意味着什么的争议,至少部分 OpenAI 证明似乎已引发来自广泛协作者社区的极快速迭代式推进。
已验证并合并了 Rohan 的 PR。在一个非常困难的区间(坦白说我当时卡住了)取得了巨大进展。了不起的工作。 κ = 2⁻¹⁵(从 κ = 2⁻¹⁸² 收紧) 较此前结果提升 50 万倍,较 OpenAI 原始结果提升 2^167 倍。 这一成果是真正的社区努力,融合了多位贡献者的技术。我想花时间逐一介绍他们,但眼下要尽快验证并发布这些结果,以便所有研究该问题的人都处于最前沿。在 X 查看被引用的帖子
来源:Ethan Mollick · x.com
来源:RadarAI · aihot.news