OpenAI 发布 L=BPL 证明，关联 AI 形式化证明尚属外界猜测

OpenAI 分享了计算复杂性理论中 L=BPL 的证明。L 与 BPL 是经典复杂度类，若证明成立，对数空间确定性计算将可以模拟对数空间随机计算。外界猜测该进展可能与 AI 辅助或生成形式化证明有关，具体证明细节以原帖为准。