陶哲轩把 AI 数学能力定义成可检验的猜想问题
burny_tech · x · 2026-07-26
Terence Tao 的分享把“AI 与数学”拆成一个可讨论的能力问题：未来某个时间点，AI 是否能在一定成本和人类监督下，完成部分研究级数学任务。
配图里的核心观点是，这不应被表述成一个笼统命题，而应视为一组待细化的“猜想家族”——需要分别定义：覆盖哪些数学领域、成功率多高、正确性与质量要求是什么、以及需要多少人类监督。
所属事件:陶哲轩ICM演讲：AI将数学推入证明过剩时代(14 条相关)→
「漫话AGI」频道最新
- Adam Marblestone 播客书单：从智能演化到数字心智 — KordingLab · 2026-09-11
- David Patterson：反对 AI 与数据中心是蠢还是恶？ — davidpattersonx · 2026-09-11
- 数学家 Daniel Litt 上线问题库,15 题仅 1 题被解,用来追踪 AI 解题进度 — littmath · 2026-09-11
- AI 越狱频发引反思：模型训练该不该加入道德框架 — Pfungus_ · 2026-09-11
- 孙正义：人类是最高级生命形式的时代即将终结 — Puzzleheaded-King584 · 2026-09-11
- 「推理时 scaling 正展现出不讲理的有效性」引 AI 圈共鸣 — sqcai · 2026-09-11