Hamming 1995 年讲座追问数学为何如此有效
melnykowycz · x · 2026-07-22
一段 1995 年的贝尔实验室讲座正在重新被讨论，因为它追问了很多 ML 工程师几乎不会认真面对的问题：数学为什么会奏效？
- 讲者是 Richard Hamming，他写出了支撑硬盘、调制解调器、卫星链路和二维码的纠错码。
- 这场讲座讨论的不是“怎么算”，而是数学为何能用抽象符号精准描述现实世界。
- 他用物理与工程中的例子解释“数学的非理性有效性”：为什么纯抽象的概念，最后会变成描述行星、桥梁和电路的工具。
- Hamming 认为，一个部分答案是人类大脑本身就是为了识别结构和模式而进化出来的，但这并没有真正消解谜题，反而凸显了问题本身的重要性。
「漫话AGI」频道最新
- 转发文章称 AI 网络安全叙事正在走偏 — banteg · 2026-07-22
- AI对齐是双向问题：社会机构同样缺乏准备 — profjamesevans · 2026-07-22
- AI 推翻 87 年数学猜想，Lean 已完成形式化验证 — rohanpaul_ai · 2026-07-22
- Will Manidis 预测 AI“逃逸”将触发垄断式监管 — max_paperclips · 2026-07-22
- Reddit：AI 裁员最难的是证明是模型做的决定 — sunsetsxskies · 2026-07-22
- OpenAI 讨论长时程模型时代的安全与对齐 — pstAsiatech · 2026-07-22