陶哲轩讲座引发争论：数学是否需要人类完全理解才算数
soumitrashukla9 · x · 2026-10-11
- Terence Tao 昨晚在 Caltech 举办题为 "Math 2.0" 的公开讲座，一张幻灯片截图引发 AI 圈争论：有人戏称应“在至少一个人类完全理解整数之前禁止使用整数”。
- Andrew Curran 回怼：如果某种疗法真的有效，几乎所有四期癌症患者都会告诉你，人类是否理解其机制与他们毫无关系——以此质疑“必须可理解才有价值”的主张。
- 这场讨论背后是 AI 辅助数学证明日益普及后，“可理解性”与“有效性”孰重的行业辩论。
所属事件:陶哲轩「证明过剩」演讲引学界激辩(29 条相关)→
「漫话AGI」频道最新
- 你要么是最后一批死于衰老的人，要么是首批半永生者 — rand_longevity · 2026-10-11
- 信贷市场异动之际,AI 灾难事件论或将被放大炒作 — _onionesque · 2026-10-11
- 数学家 Strogatz 谈新书：AI 会解难题，但会有数学品味吗 — stevenstrogatz · 2026-10-11
- Strogatz 谈 AI 求解数学：决定哪些问题值得解仍是人类的事 — stevenstrogatz · 2026-10-11
- 陶哲轩实际呼吁大幅增加 AI 数学算力,称被 Reddit 误读 — SammaVaco · 2026-10-11
- Dario 曾预言 12 个月内自动化软件工程，网友称已应验 — matthew_d_green · 2026-10-11