从层级定理与自然证明障碍重新理解 P≠NP 的世界
MoonL88537 · x · 2026-09-09
作者引用 @bzogrammer 的长文，称这是一种「很酷的思考 P vs NP 的方式」。被引内容指出：P≠NP 更可能成立，且是我们经验上生活的世界；理解它的一个较少被提及的角度来自自然证明障碍的下游。复杂性理论中常有各种「层级」，例如时间层级定理：两台相同的计算机，若一台允许运行更久，它能严格计算出更多东西，形成一种线性地定义越来越强机器、严格比较能力的方式……
「研究」频道最新
- 开源 4B VLM 用 RL 练 GeoGuessr，单卡 A100 跑赢 GPT 与 Haiku — SergioPaniego · 2026-09-09
- 自监督聚类发现「最鸟的鸟」：粒度定义背后的哲学与 ImageNet 观察 — y_m_asano · 2026-09-09
- 学者完成 ARR 审稿：AI 审稿已普遍，亟需审稿质量基准 — ChenhaoTan · 2026-09-09
- MirroS 发现多模态模型内部存在可读写的空间地图 S-Space — HeyAmit_ · 2026-09-09
- 合成数据会泄露答案？安全专家质疑数据生成逻辑 — matthew_d_green · 2026-09-09
- AI数学突破不等于开放探索，开放式创新仍是前沿 — kenneth0stanley · 2026-09-09