OpenAI 发布 L=BPL 证明，或有 AI 生成形式化数学证明
chaumian · x · 2026-10-31
用户 @chaumiandg 分享了 OpenAI 关于 L = BPL 的证明。L 与 BPL 是计算复杂性理论中的经典复杂度类，二者是否相等是长期悬而未决的理论问题；若证明成立，意味着对数空间确定性计算可以模拟对数空间随机计算。这一进展被外界猜测与 AI 辅助/生成的形式化证明相关，具体证明细节以原帖链接内容为准。
「模型」频道最新
- Matt Shumer 暗示 Opus 5.5 不是上限，AI 圈猜测将有大更新 — daniel_mac8 · 2026-10-31
- 130 次复现未复现 Cohere 报告：Qwen 并未向阿里云上传数据 — ChenhaoTan · 2026-10-31
- Anthropic 在 Claude Code 提示词中拦截仿制他人游戏,开发者质疑其合理性 — sytelus · 2026-10-31
- Gemini Argon 额度实测:99 美元 Ultra 重度用 3 天只剩 16% — teortaxesTex · 2026-10-31
- 深度解析 Decision Models:Perplexity Decider 训练原理与适用场景 — antoine_chaffin · 2026-10-31
- 爆料称 GPT-6.5 Astra 或将发布，博主称其表现强劲 — daniel_mac8 · 2026-10-31