Steve Hsu：人类数学只是可压缩的极小子集，AI 将远超人类前沿
burny_tech · x · 2026-09-23
物理学家 Steve Hsu 转发了一份题为《Compression is all you need: Modeling mathematics》的报告要点：人类发现并重视的「人类数学」在所有有效推演构成的「形式数学」中只占极小子集，区别在于它可以通过层级嵌套的定义与定理被压缩，增长呈多项式级而非符号串证明的指数级空间。论证结合了玩具幺半群模型与对 Lean 大型形式化数学库 MathLib 的实证分析，并主张压缩率本身可以作为数学有趣程度的度量，进而讨论其对 agent 数学探索的含义。Hsu 由此断言：数学的前沿将很快远超人类心智所能发现的部分——类人脑约 10 的工作记忆是极强的约束。
「漫话AGI」频道最新
- 老炮提醒:模型进步很快,但能力边界依旧参差 — Dan_Jeffries1 · 2026-09-23
- 替代「给前沿AI踩刹车」：新议程主张设计机制纠正过快竞速激励 — gleech · 2026-09-23
- 对齐跟不上能力：一篇文章激辩前沿AI该不该放慢脚步 — AccBalanced · 2026-09-23
- Toby Walsh 批 HuggingFace 伦理负责人对 Books3 分发视而不见 — TobyWalsh · 2026-09-23
- Wired 调查 634 名科技女性：59% 遭遇性别偏见，AI 双标引众怒 — AnnaCiaunica · 2026-09-23
- AI 冲击就业预期下,专家建议尽早规划职业转型 — shashib · 2026-09-23