Thurston 经典论文《论数学中的证明与进步》PDF 分享
FrnkNlsn · x · 2026-10-13
分享数学大师 William P. Thurston 的著名论文《On Proof and Progress in Mathematics》的 PDF。这篇回应 Jaffe 与 Quinn「数学的文化综合」一文的文章,主张数学的进步本质是增进「人类理解」而非仅积累定理与证明,并以四色定理的机器证明争议为例,说明数学家对「人类可理解的证明」的诉求。
「研究」频道最新
- 卷积:先于神经网络数十年、撑起 CNN 的工程数学基石 — techNmak · 2026-10-13
- DeepMind 放出 cryptids 仓库：含著名猜想的 Lean 永续图灵机证明 — gaganghotra_ · 2026-10-13
- TERRA 团队癌症样本到位，预计产出 2 亿细胞训练数据 — mo_lotfollahi · 2026-10-13
- 基座模型能察觉隐藏意图，AUC 0.94 优于 prompted 分类器 — burny_tech · 2026-10-13
- 纯看人类视频训练机器人：突破遥操作数据瓶颈的新路径 — burkov · 2026-10-13
- Nature 研究:反复用 AI 生成数据训练会导致模型坍塌 — CurieuxExplorer · 2026-10-13