国际象棋为何无法被'解决':EXPTIME 复杂度远超算力
firasd · x · 2026-09-05
网友指出 Elon Musk 在国际象棋讨论中混淆了概念:「可能的棋局序列」与「合法局面数」是完全不同的数量级——要「解决」国际象棋,需要穷举前者而非后者。而解决国际象棋属于 EXPTIME-complete 复杂度类问题,远超计算机可能达到的能力范围。原作者进一步解释:人们常误以为可以用数学方法剪枝搜索空间,但从给定局面的必胜性是一个经验现象,无法像证明数学定理那样被解决或证伪。
所属事件:马斯克与Chess.com隔空争论:ASI能否解掉国际象棋(6 条相关)→
「研究」频道最新
- Principia 基准发布:用单摆周期检验视频模型是否真懂物理 — anand_bhattad · 2026-09-06
- Jerry Liu:RLM 另一半是程序化递归,如今叫「动态工作流」 — lateinteraction · 2026-09-06
- 博主爆料:OpenAI 或已部分破解纳维-斯托克斯问题 — scaling01 · 2026-09-05
- 数千条 MMO 任务文案实测:LLM 局部通顺、全局崩坏,20-30 轮纠正仍无用 — HLCYSWAP · 2026-09-05
- Agent's Last Exam 成绩暴涨拆解:计算机使用+55 域 RL 环境 — dejavucoder · 2026-09-05
- Principia 基准:视频模型 VBench 高分,物理一致性却全不过 0.42 — anand_bhattad · 2026-09-05