数学界抵制 AI 证明引热议，博主怒斥特权阶层抱怨
MoonL88537 · x · 2026-10-19
- 针对 AI 介入数学证明引发的数学家抵制与抱怨，发帖人激烈反驳：称我们正经历数学（乃至思想）史上最大革命，数学家的「抱怨令人无法忍受」，并认为这是对当代知识界生态的深刻控诉。
- 他还放话「这从来不是关于证明的问题，证明只是收据」，暗示数学界真正在意的是地位与特权而非严格性本身。
「漫话AGI」频道最新
- 认知科学家 Anna Ciaunica 撰文：为何计算程序难以真正有意识 — AnnaCiaunica · 2026-10-19
- RL 研究者 Nathan Lambert:用模型做编码之外的事,AGI 还远 — natolambert · 2026-10-19
- 黑客用 AI 代理攻破上百家公司网站，总成本仅约 5000 美元代币费 — deanwball · 2026-10-19
- 每个产品都在变基础设施：Agent 时代的「infra + infra」产品观 — aishashok14 · 2026-10-19
- FT 数据记者播客解读：数据揭示 AI 就业冲击的真实图景 — jburnmurdoch · 2026-10-19
- 工程师被远程客户裁掉：对方称用 Claude 就能搞定一切 — Ok_Corgi_6593 · 2026-10-19