陶哲轩把 AI 数学能力定义成可检验的猜想问题
burny_tech · x · 2026-07-26
Terence Tao 的分享把“AI 与数学”拆成一个可讨论的能力问题：未来某个时间点，AI 是否能在一定成本和人类监督下，完成部分研究级数学任务。
配图里的核心观点是，这不应被表述成一个笼统命题，而应视为一组待细化的“猜想家族”——需要分别定义：覆盖哪些数学领域、成功率多高、正确性与质量要求是什么、以及需要多少人类监督。
所属事件:陶哲轩ICM演讲：AI将数学推入证明过剩时代(14 条相关)→
「漫话AGI」频道最新
- 「微软 6 万裁员只是开始」:KOL 预测大厂 1-2 年内再砍 50-60% 员工 — krishnan · 2026-10-27
- 「还说 AI 没影响企业生产力?」27% 裁员引热议,AI 原生公司围猎 SaaS — alvelda · 2026-10-27
- 图灵奖得主 Patterson 预言:2035 年后住房需求也会饱和,真后稀缺时代到来 — davidpattersonx · 2026-10-27
- Claude 已承担 Anthropic 27% 研发工作，数月前还是零 — thursdai_pod · 2026-10-27
- Resy 硬刚订位 agent:高端餐厅把订餐体验当品牌,平台大战在即 — matt_slotnick · 2026-10-27
- Michael Levin：AI 邮件泛滥，读完论文再来找我 — drmichaellevin · 2026-10-27