Fortnow：P≠NP 难被 AI 攻克，NP vs L 等问题更有望突破

理论计算机科学家 Lance Fortnow 就 AI 与复杂度理论的关系表态，认为 P vs NP 这一世纪难题仍将超出 AI 的能力范围，短期内恐难解决。但他指出另一些复杂度问题对 AI 而言更为可行，例如分离 NP 与对数空间类 L、区分 BPP 与 NE 等，这些方向有望被 AI 攻克。该观点在社区引发转发讨论。

2026-09-11 ~ 2026-09-13 · 2 条相关

• P vs NP 恐难被 AI 攻破，fortnow 点名 NP vs L 等更可行难题 — fortnow · 2026-09-11
• 复杂性理论家：P≠NP 近期无解，但 L/NP 等问题 AI 有望攻克 — _onionesque · 2026-09-13