OpenAI分享L=BPL复杂性证明
热点事件持续更新
OpenAI分享L=BPL复杂性证明
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
OpenAI分享了计算复杂性理论中L=BPL的证明；若证明成立，对数空间确定性计算将能模拟对数空间随机计算。 外界猜测该证明可能使用了AI辅助或由AI生成形式化证明，但这一关联尚未得到确认，具体方法与证明细节仍以OpenAI原帖为准。
AI 根据报道生成 · 2 小时前更新
最新进展10月31日 05:19
OpenAI 发布 L=BPL 证明，关联 AI 形式化证明尚属外界猜测报道时间线
沿着报道，了解事件的不同侧面。
10月31日
- AGI HuntOpenAI 发布 L=BPL 证明，关联 AI 形式化证明尚属外界猜测
OpenAI 分享了计算复杂性理论中 L=BPL 的证明。L 与 BPL 是经典复杂度类，若证明成立，对数空间确定性计算将可以模拟对数空间随机计算。外界猜测该进展可能与 AI 辅助或生成形式化证明有关，具体证明细节以原帖为准。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。