复杂性理论家：P≠NP 近期无解，但 L/NP 等问题 AI 有望攻克
_onionesque · x · 2026-09-13
- 转发讨论源自理论计算机科学家 Lance Fortnow 的观点：P vs NP 仍在 AI 能力范围之外，但另一些复杂性问题（如分离 NP 与 L 对数空间、BPP 与 NEXP）可能更易攻克，且一旦解决将引起巨大轰动。
- Robert Williams 补充：P≠NP 本质上零直接进展，即使用上万个并行先进模型也无从下手（除非 P=NP）；但他认为 L/NP、BPP/NEXP、P/PSPACE 等问题「不久后」可能被 AI 解决。
所属事件:Fortnow：P≠NP 难被 AI 攻克，NP vs L 等问题更有望突破(2 条相关)→
「漫话AGI」频道最新
- 「AI 泡沫正在破灭」：三大 LLM 厂商 CEO 放缓信号引发崩盘担忧 — SumitGup · 2026-09-13
- 博主拆解 AI 圈引战长文套路：故意留槽点吸引互动 — Scobleizer · 2026-09-13
- 安全焦虑立起来的AI公司,一个个向资本压力低头 — birchlse · 2026-09-13
- Reddit 热议：哪些专业领域你仍不敢交给 Claude/ChatGPT？ — sartomiki · 2026-09-13
- 电路问题被称为完美对抗对象,AI 有望破数学僵局 — _onionesque · 2026-09-13
- OpenAI 研究员警告:军事全面 AI 化将令权力向前沿实验室集中 — jachiam0 · 2026-09-13