OpenAI 数学证明引发社区接力，κ 上界从 2⁻¹⁸² 骤升至 2⁻¹⁵
eldonredwards · x · 2026-10-09
Ethan Mollick 关注到围绕 OpenAI 发布一系列数学证明的争议后，社区迅速掀起迭代式进展：@0xdoug 验证并合并了 Rohan 的 PR，将 κ 的上界从 2⁻¹⁸² 收紧到 2⁻¹⁵——较此前结果提升 50 万倍，较 OpenAI 原始结果提升 2¹⁶⁷ 倍。
这一成果被作者称为真正的社区协作，融合了多位贡献者的技术。这显示 OpenAI 公开数学证明虽引发学科方法论争议，但也确实催生了快速、开放的集体数学研究新模式。
「漫话AGI」频道最新
- 诺奖得主成长研究:科学家天赋之外,家庭背景多重要? — soumitrashukla9 · 2026-10-09
- 给物理世界造 API:AI agent 对接工厂产能,重构美国再工业化路径 — McDonaghMatthew · 2026-10-09
- AI 冲击娱乐业:短视频算法碾压影视音乐,文化工业或整体迁往旧金山 — juliey4 · 2026-10-09
- DeepMind 高管:AI 正变革数学,但数学永远不会被「解决」 — pushmeet · 2026-10-09
- 「Tom 成为第一个因 AI 被裁的人」梗视频走红 — dolo937 · 2026-10-09
- 观察：开源模型稳定落后前沿，但人们仍可按立场选择 — panickssery · 2026-10-09