用 Thurston 16 年前的文章回应 AI 数学争议
keenanisalive · x · 2026-09-13
数学家 Keenan Crane(keenanisalive)表示,面对近期围绕 Navier-Stokes 与 AI 数学的讨论,他意识到自己敬仰的数学家 William Thurston 早在 16 年前就已把该说的都说完了,并附上了 Thurston 的经典文章链接。Thurston 那篇《On proof and progress in mathematics》论证数学的本质是人类的理解与共同体实践,而非仅仅形式化证明——这恰好切中当下「AI 能否真正做数学」争论的核心。
所属事件:AI 数学争议发酵，数学界重读 Thurston 经典并展望算力普及(4 条相关)→
「研究」频道最新
- 新论文「Heads Of Security」：定位注入攻击注意力头并改写其模式 — jonasgeiping · 2026-10-31
- UMass 团队发布 BATv1：3429 个转录因子结合 ChIP-seq 模型图谱 — jmschreiber91 · 2026-10-31
- UCLA 推出 ChairNav：会学习乘客偏好的自主导航轮椅 — zhoubolei · 2026-10-31
- 合成数据重写该花多少算力？新研究用 scaling laws 给出答案 — ChengleiSi · 2026-10-31
- 花叔开源全球 11064 种鸟类贴纸库,AI 画图消耗超 10 亿 token — AlchainHust · 2026-10-31
- Epoch AI：AI 芯片算力年增 2.5 倍，增速较 2023 年明显放缓 — rohanpaul_ai · 2026-10-31