从首个推理模型到冲击千禧年大奖难题:作者预测 AI 两年再翻倍
imjustnewatai · x · 2026-10-12
作者回顾推理模型两年进展并预测未来两年:
- 时间线:2024 年 9 月 OpenAI 发布 o1-preview;2025 年 7 月 AI 在国际数学奥赛达金牌水平;据作者说法,2026 年起 OpenAI 内部模型证伪 Erdős 猜想、Claude Fable 找到雅可比猜想的反例并在 IMO 拿满分 42/42、破解纳维-斯托克斯方程,OpenAI 发布 722 份数学手稿,涉及黎曼猜想与 Hodge 猜想的部分进展(注:2026 年后的内容为作者的时间线叙述,部分含预测/未证实成分)。
- 未来两年预测:纳维-斯托克斯证明成立;AI 对黎曼与 Hodge 两大难题提出可信解答;OpenAI 与 Anthropic 在 2028 年初前宣布自主 AI 研究员;Agent 端到端完成整个软件项目,编码工作转向「指挥 AI」;两家公司轮流领先,Google 紧随;Anthropic 2027 年初上市,OpenAI 一年内跟进;初级办公室岗位受冲击,电工等技工因数据中心电力瓶颈而火爆;政府审查至少卡住一次重大模型发布;家用 人形机器人 进入数万家庭,但复杂家务仍需远程人工协助。
「漫话AGI」频道最新
- 投资人预测：2027 年个人 Agent 爆发将倒逼 AI 客服普及 — neal_lathia · 2026-10-12
- 少数重度用户吃掉绝大多数token：AI使用呈倒金字塔 — sinclairx · 2026-10-12
- 「有感知超智能」假说：能共情的ASI才在乎人类存亡 — cccalum · 2026-10-12
- AlphaProof Nexus 攻克 9 个 Erdős 难题,成果登 Science — Hesamation · 2026-10-12
- 数学家十条论断:AI 数学进步惊人,但理解无法外包给机器 — JFPuget · 2026-10-12
- 数学家对 AI 焦虑背后:技术变革史上是身份与手艺的个人危机 — soumitrashukla9 · 2026-10-12