物理学家 David Deutsch 向 Grok 抛问:AI 能否预见图灵机的诞生
AlexTensor · x · 2026-10-12
量子计算之父、牛津物理学家 David Deutsch 在 X 上向 Grok 提出一个思想实验:在 1920 年代之前,即使拥有当今技术的 AI 魔法般地存在,它能否猜到解决希尔伯特判定问题(Entscheidungsproblem)需要发明图灵机,并证明通用图灵机与停机问题的定理?
这一提问意在说明真正的科学突破需要概念性创造,而非在已有框架内推理,引发关于 AI 能否做出真正原创性突破的讨论。
所属事件:物理学家 Deutsch 与 Grok 激辩 AI 能否做出原创突破(2 条相关)→
「漫话AGI」频道最新
- 0.1 美元复现一篇论文:自动化同行评审项目宣称可达人类水平 — clarejtbirch · 2026-10-12
- CASE 医疗 Agent 自主查证据:超 GPT-5.4 达 16% — CASE-Bench · 2026-10-12
- Peter Voss 与 Scoble 对谈:AGI 远未到来,硅基不该有权利 — Scobleizer · 2026-10-12
- X 产品负责人:N护城河已失效,只剩数据、网络效应与硬件 — nikitabier · 2026-10-12
- 技术人困于低杠杆快活:少有人有 AI 无法解决的难题 — fkasummer · 2026-10-12
- 丘成桐牵头北京成立数学与AI联盟,汇聚八机构千名科学家 — robleclerc · 2026-10-12