数学家称 AI 未来可完成部分研究级数学任务
AlexKontorovich · x · 2026-07-25
Alex Kontorovich 在 ICM 2026 现场提出一个“AI 能力猜想”:
> 在不远的将来,某些 AI 工具有望在一定成本、一定人类监督下,完成某些数学领域的研究级任务。
他把这表述成一个带有多个“some”的模板式猜想:时间点、成本、所需监督强度、成功率和质量阈值都没有具体定死。重点不是宣布 AI 已经能做数学研究,而是把“数学研究工作会逐步被部分自动化”作为一个值得认真讨论的能力边界判断。
所属事件:AI 冲击基础数学研究,数学界探讨学科范式转折(11 条相关)→
「漫话AGI」频道最新
- 当 agent 遇上反爬虫:一半网站直接把 AI 关在门外 — XFreeze · 2026-10-27
- Cosmos Institute 设 1 万美元奖,联手牛津推 AI 哲学年刊 OSPAIC — lawhsw · 2026-10-27
- 美中欧 AI 路线分化:美国押注 AGI 霸权,其余世界当公共品 — BubblyExtent1693 · 2026-10-27
- 实验猴荒:中国 3-5 万美元一只,繁育周期 4 年成药物临床前瓶颈 — zebird0 · 2026-10-27
- CJR 批评记者滥用「rogue」:别把 AI 写得像有了人性 — ShakeelHashim · 2026-10-27
- AI 致 PhD 申请邮件暴涨约 4 倍,不用 AI 写信反而更易突围 — AI4Code · 2026-10-27