国际象棋为何无法被'解决':EXPTIME 复杂度远超算力
firasd · x · 2026-09-05
网友指出 Elon Musk 在国际象棋讨论中混淆了概念:「可能的棋局序列」与「合法局面数」是完全不同的数量级——要「解决」国际象棋,需要穷举前者而非后者。而解决国际象棋属于 EXPTIME-complete 复杂度类问题,远超计算机可能达到的能力范围。原作者进一步解释:人们常误以为可以用数学方法剪枝搜索空间,但从给定局面的必胜性是一个经验现象,无法像证明数学定理那样被解决或证伪。
所属事件:马斯克与Chess.com隔空互怼:国际象棋能否被AI解决(6 条相关)→
「研究」频道最新
- CMU 与 Meta 开源 TrackEverything:追踪长视频全部 3D 点 — AdamWHarley · 2026-10-21
- 开源婴儿脑连接工具包:vibe coding 串起皮层-电极-纤维追踪分析 — Dr_Alex_Crimi · 2026-10-21
- 伯克利获 Schmidt Sciences 资助:用 AI 破解抹香鲸与虎鲸语言 — begusgasper · 2026-10-21
- 斯坦福 CS336 第 6 讲:kernel 提速先少跑几趟显存 — stanfordnlp · 2026-10-21
- UIUC 论文:高分不等于会推理,LLM 换个表述就丢失推理规则 — UIUC-CS · 2026-10-21
- 马斯特里赫特研究标注 2122 段真实对话:用户如何向 LLM 求助法律问题 — Amirreza Mohseni · 2026-10-21