菲尔兹奖得主称 AI 可能两年内超越人类数学证明
新智元 · wechat · 2026-07-24
一篇公众号报道把一位菲尔兹奖得主的职业选择，和 AI 在数学上的加速进展直接联系起来。
- Jacob Tsimerman 认为，AI 可能在大约 2 年内 在所有数学证明任务上超过人类，因此他准备转向 OpenAI 的 AI 安全岗位。
- 他表示，AI 已经把自己的科研效率提升了一倍；而对未来博士生来说，等他们毕业时，导师在速度和深度上可能都不再占优。
- 文章把这一变化解读为一个信号：长期被视为人类堡垒的定理证明，正在比外界预期更快地被 AI 逼近。
所属事件:AI 冲击基础数学研究，数学界探讨学科范式转折(11 条相关)→
「漫话AGI」频道最新
- 数学家 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
- AlphaFold 前车之鉴：AI 解数学题后，数学家会变少吗 — kiki-le-koala · 2026-09-11
- AI 加速派反击末日论者:批对方只会人身攻击与表演式理性 — Dan_Jeffries1 · 2026-09-11