数学家预言:AI 刷 IMO 金牌将无人问津,下一站是应用数学
burny_tech · x · 2026-09-06
数学家 Alex Kontorovich 回顾:两年前 AlphaProof 在 IMO 距金牌仅差 1 分,去年已有六七个实验室宣称达到金牌水平,但他预测今年拿金牌的系统数量为零——因为 IMO 对 AI 太简单,没人再关注,它将回归为 17 岁孩子的竞赛。
他进一步预言:明年夏天各大实验室「解决重大数学问题」的数量也会是零,因为这些对 AI 同样变得太容易,将回归数学教授、博士后和博士生的日常。
转发者 PI010101 补充观点:人们的兴趣将转向应用数学——找一个真实世界问题,让 AI 建立含约束的数学模型并求解到实用精度;但算力仍是主要瓶颈,比如判断一个天文数字级整数是否为质数,知道解法不等于有算力算完。
所属事件:数学家预言 AI 刷 IMO 金牌将失去关注(2 条相关)→
「漫话AGI」频道最新
- Luiza Jarovsky：AI 风险独特，要么治理它要么被它治理 — LuizaJarovsky · 2026-09-06
- 1200 个 agent 自组工具并'自我牺牲'，透明推理链或成过去式 — jbarbier · 2026-09-06
- 曝 OpenAI 下一 major 模型将以 AGI 之名发布，瞄准 2026 年底 — imjustnewatai · 2026-09-06
- 像人一样对话、被用户依恋,再给它各种记忆bug — BLUECOW009 · 2026-09-06
- 多名创作者自曝收AI末日论者付费邀约,Guardian文章6名参与者全被资助 — beffjezos · 2026-09-06
- Guillaume Verdon 喊话：AI 不应被中心化控制，开源闭源要多元并存 — beffjezos · 2026-09-06