《The Proof in the Code》入选2026年度最佳非虚构：讲述 Lean 与人机协作崛起

KSHartnett 的新书《The Proof in the Code》入选《Publishers Weekly》2026 年度最佳非虚构图书之一。书评认为，该书以通俗讲解和人物叙事呈现数学证明软件 Lean 的诞生历程，以及它作为数学家与 AI 研究者关键工具所体现的人机协作崛起。