即便 AI 成证明神谕,数学也未终结:提出好问题仍是人的价值
keenanisalive · x · 2026-09-13
keenanisalive 设想一个能瞬间证明或证伪任何命题的「神谕」(对 AI 数学能力的隐喻),指出即便如此数学也远未终结:你得到的只是海量真命题的海洋,还需要弄清各定理之间如何关联、如何拼出更大的数学图景、如何解释与传播。他举 Thurston 几何化猜想为例:Perelman 因证明它获得首个千禧年大奖,但没有 Thurston 1982 年提出的猜想,根本无从证明——「证明只是故事的一半」,提出正确的问题和结构化理解同样核心。
所属事件:AI 解题之后人类数学还剩什么：X 多方激辩(26 条相关)→
「漫话AGI」频道最新
- DeepMind 首发智能经济学研究：AGI 冲击经济靠协同而非单模型变强 — Scobleizer · 2026-10-31
- Claude 已能用 2 万美元 token 做出专业软件,TAM 同步缩至 2 万 — bigblueboo · 2026-10-31
- 从 1769 年陶器厂到 AI:一篇长文追问 9-5 工作制会不会消亡 — Konstantine · 2026-10-31
- LifeArchitect 10 月刊:中国拟限制 AI 技术出口,Kimi K3.1 Pro 与 Genie 4 在列 — dralandthompson · 2026-10-31
- 中国公司用「AI 复活」服务安抚失亲者，30 秒音视频即可生成数字分身 — ArtificialOther · 2026-10-31
- AI 时代何为「科学发现」？ICLR 2027 提案 SCOPE 研讨会聚焦争议 — mariyaivasileva · 2026-10-31