社区接力改进 OpenAI 数学证明 κ 界提升逾亿倍

OpenAI 发布的一系列数学证明引发争议后，社区迅速展开迭代式协作。@0xdoug 宣布已验证并合并 Rohan 的 PR，将某困难区域的 κ 上界从 2⁻¹⁸² 收紧至 2⁻¹⁵——较此前社区最好结果提升约 50 万倍，较 OpenAI 原始结果提升约 2¹⁶⁷ 倍。Ethan Mollick 也关注到这场围绕证明的社区接力与快速进展。

2026-10-09 ~ 2026-10-09 · 2 条相关

• OpenAI 数学证明引发社区接力，κ 上界从 2⁻¹⁸² 骤升至 2⁻¹⁵ — eldonredwards · 2026-10-09
• 社区改进 OpenAI 数学结果上亿倍:κ 界收紧至 2⁻¹⁵,较原结果提升 2¹⁶⁷ 倍 — latticecut · 2026-10-09