《The Proof in the Code》入选年度最佳非虚构：讲述 Lean 与人机协作崛起
rbhar90 · x · 2026-10-31
KSHartnett 的新书《The Proof in the Code》被《Publishers Weekly》评为 2026 年度最佳非虚构图书之一。书评称，作者不仅把复杂数学概念讲得通俗易通，更通过引人入胜的人物叙事展现其重要性，讲述了数学证明软件 Lean 的诞生历程——该工具已成为数学家与 AI 研究者的关键工具，是理解人机协作崛起的必读之作。rbhar90 亦强烈推荐此书。
「研究」频道最新
- 新论文量化「说不清的概念」：1270 个概念中 65 个永远无法用语言教会 LLM — sanmikoyejo · 2026-10-31
- 无监督测量LLM通信：用发射-接收重构评估信息传递 — sanmikoyejo · 2026-10-31
- 仅凭游戏画面流式输入,端侧小模型让无人机在 Acro 模式自主飞行 — yacineMTB · 2026-10-31
- Rust 版 MLIP 推理引擎 llmlip-rs：比 PyTorch MACE 快 17.7 倍 — CatAstro_Piyush · 2026-10-31
- AdaPRA 发布：自适应评分规则的过程奖励智能体审计数据科学 Agent — dan_fried · 2026-10-31
- AA-Omniscience v1.1 发布：Gemini 4 Carbon 居首，部分中国模型暴跌 20 分 — ArtificialAnlys · 2026-10-31