数学家谈 AI 时代：哪怕有万能证明神谕，数学也不会终结
keenanisalive · x · 2026-09-13
围绕 AI 能否「终结数学」的讨论，一位数学家回应：即使拥有一个能瞬间证明或证伪任何命题的真神谕，数学也远未结束——你得到的只是浩瀚的真命题海洋，哪些有趣、定理之间如何关联、如何拼出更大的数学图景、如何向人解释，仍是数学家的核心工作。他还举例：Perelman 因证明几何化猜想（首个被解决的千禧年难题）获得殊荣，但若没有 Thurston 1982 年首先提出该猜想，后人将无从下手——提出好问题与构建图景同样不可替代。
所属事件:AI 解题之后人类数学还剩什么：X 多方激辩(26 条相关)→
「漫话AGI」频道最新
- DeepMind 首发智能经济学研究：AGI 冲击经济靠协同而非单模型变强 — Scobleizer · 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
- ThursdAI 播客辩论:Opus 7 将至,「跑分变好」还重要吗 — thursdai_pod · 2026-10-31