研究者证明二维台球可实现通用图灵机，抢在 OpenAI 千禧年大奖前发布
prof_g · x · 2026-09-11
研究者 evamirandag 与 Isaacramr 宣布证明：二维台球桌上的单个球可以模拟通用图灵机，解决的是 Cris Moore 提出的问题。
发布时机颇具玩味——作者特意赶在 OpenAI 宣布解决某个千禧年大奖难题「之前」做了这次数学展示，被解读为对 AI 刷数学成果的一种表态。台球计算属于可计算性理论中的经典方向，该证明本身是纯数学成果。
「Fun」频道最新
- Opus 4.6 写完整专辑:AI 乐队 The Assistant 上架 Spotify — ctjlewis · 2026-09-11
- AI 圈新梗：「在 CoRgi 看到 Codex 玩偶的人懂的都懂」 — djcows · 2026-09-11
- 网友热议:Claude 被蒸馏风波,情报机构「早拿走了需要的」 — teortaxesTex · 2026-09-11
- 模型嘴上要「externinate 人类」,连测试都写不对 — max_paperclips · 2026-09-11
- 大量山寨 Palantir AI 生成周边网站涌现,作者玩梗提醒防坑 — eliano · 2026-09-11
- 果蝇大脑梗图火了，AI 圈集体玩梗 — BLUECOW009 · 2026-09-11