《The Proof in the Code》登 WSJ 周读书单:Lean 从查 bug 走向革新数学
stevenstrogatz · x · 2026-10-04
Kenneth Hartnett 的书《The Proof in the Code》登上《华尔街日报》本周阅读书单第 2 位(共 11 本)。WSJ 评价称:「这个名为 Lean 的程序最初是为微软产品查找 bug 而构建的,最终却彻底革新了数学。」该书讲述形式化证明助手 Lean 从软件工程工具演变为数学研究基础设施的故事。
「研究」频道最新
- 长文质疑「柏拉图表征假说」：统计趋同被误读为形而上学真理 — gerardsans · 2026-10-04
- Daimon 触觉世界模型亮相 IROS:机器人穿珠靠手感而非视觉 — CyberRobooo · 2026-10-04
- DeepMind 登 Nature:给 AI 设计的蛋白质嵌入功能无损水印 — skoularidou · 2026-10-04
- COLM 新研究:29 种语言追踪主谓一致,揭示多语共享语法回路 — nsaphra · 2026-10-04
- 火星泳池浪高 1.6 倍，跳水的浪花会更大更慢落下 — IgorCarron · 2026-10-04
- Mike Levin 预告直播：自复制体出现前的催化网络因果架构动力学 — drmichaellevin · 2026-10-04