“编程已解决 90%–95%”，但数学仍几乎没有上限
haider1 · x · 2026-07-26
作者认为，编程已经有 90%–95% 被解决，但 数学 仍然几乎没有上限，因为问题可以不断变难。
他的核心判断是：软件工程已经更容易被自动化，而数学仍有大量未解空间；不过和五年前相比，如今在数学上取得进展，已经变得明显更可行。
「漫话AGI」频道最新
- 马斯克称文明一旦失去对未来的信念就会死 — elonmusk · 2026-07-26
- AI 猜想搜猎先清掉一批可解数学问题 — anderssandberg · 2026-07-26
- Zachary Lipton 支持把模型蒸馏视为美国公司的公平游戏 — zacharylipton · 2026-07-26
- Chamath 说开源 AI 不存在倾销，中国真正优势是电力 — joshua_saxe · 2026-07-26
- 施密德胡伯支持开源模型蒸馏，称自己 1991 年已发表相关工作 — SchmidhuberAI · 2026-07-26
- 前 OpenAI 研究员：编程语言正蜕变为机对机暗语 — eptwts · 2026-07-26