AI 连破数学猜想引爆学界争论:数学家被迫「全体上车」
yacineMTB · x · 2026-09-08
西班牙数学博主 @XMihura 总结了近几周因 Navier-Stokes 相关风波而爆发的学界大辩论:
- 近几个月多个著名猜想和问题因 AI 而被攻克,其中一些是通过 Lean 形式化证明完成的——但证明「完全不可读」,人类难以理解。
- 不少数学家眼看着自己研究一辈子的课题在最新模型面前接连倒下。
- 数学是高度竞争的学科:只要有人用 AI 辅助研究就会占据优势,从而迫使所有人不得不跟进使用 AI。
辩论的另一面是:一些数学家不满于 AI 剥夺了做数学的乐趣——不少人形容现在的证明过程像「拉老虎机」。
「漫话AGI」频道最新
- OpenAI 自曝 AI 助手日产三天研究量,首席科学家却呼吁行业减速 — jeremyakahn · 2026-09-08
- 「非 AI 证明」时代终结：没人再相信你没用过 AI — inductionheads · 2026-09-08
- 观点:阻止 AI 大规模取代工作的只剩成本这一道闸门 — CtrlAltDwayne · 2026-09-08
- GenAI 难撼 EA 体育摇钱树:75% 收入来自直播服务 — dioscuri · 2026-09-08
- 文章预测：到 2035 年机器人反而会让零售业就业增加 — broodsugar · 2026-09-08
- 连续创业重度 AI 用户自述：从 token 狂热转向搞定线下会议 — StewartalsopIII · 2026-09-08