lacker 发问:AI 能否攻克 P vs NP 等复杂度分离难题
burny_tech · x · 2026-09-12
前 Twitter 工程师 lacker 提出一个开放性问题:AI 能否解决计算复杂性理论中的任意类分离问题?P vs NP 只是最著名的一个,同类未解问题还有 L vs NL、P vs BPP、NC vs P 等数十个。
他的直觉是:目前人类似乎仍缺少解决这类问题的基础性策略,而 AI(尤其是越来越强的 LLM)能否提供新思路,是值得观察的方向。
「漫话AGI」频道最新
- 生物学家力挺 AI 加速癌症研究,称抵制进步道德上不可辩护 — QuintinPope5 · 2026-09-12
- 从「能干活」到「值得托付钱」：AI 智能体的下一道坎是经济可信度 — fnlog0 · 2026-09-12
- Agent 的下一道坎:从「能做事」到经济行为可信赖 — r3dd1tr · 2026-09-12
- 前 Anthropic/OpenAI 研究员:CIT一年内多个领域研究或无需人类 — rohanpaul_ai · 2026-09-12
- 观点：AGI 到来更像经济萧条，而非一夜降临的奇点 — paigeinsf · 2026-09-12
- AI 圈争论:近未来模型或能自创数学工具证明 P/NP 问题 — airkatakana · 2026-09-12