数学家称 AI 未来可完成部分研究级数学任务
AlexKontorovich · x · 2026-07-25
Alex Kontorovich 在 ICM 2026 现场提出一个“AI 能力猜想”:
> 在不远的将来,某些 AI 工具有望在一定成本、一定人类监督下,完成某些数学领域的研究级任务。
他把这表述成一个带有多个“some”的模板式猜想:时间点、成本、所需监督强度、成功率和质量阈值都没有具体定死。重点不是宣布 AI 已经能做数学研究,而是把“数学研究工作会逐步被部分自动化”作为一个值得认真讨论的能力边界判断。
所属事件:数学家探讨AI未来:有望完成研究级数学任务(2 条相关)→
「漫话AGI」频道最新
- 会议幻灯片警告:AI 优化可能让数学目标分化 — AlexKontorovich · 2026-07-25
- 幻灯片称生成式 AI 指标尤其容易被 Goodhart 定律扭曲 — AlexKontorovich · 2026-07-25
- 青铜时代崩溃类比:文明或将成为外部推理引擎 — dylan522p · 2026-07-25
- 陶哲轩 ICM 2026 假设:AI 可能很快做研究级数学 — AlexKontorovich · 2026-07-25
- 研究者组队研究前沿 AI 的经济影响 — RishiBommasani · 2026-07-25
- ICM 讲稿称,多数 AI 能力主张缺乏受控证据 — AlexKontorovich · 2026-07-25