引用 Thurston 1994 年旧文：定理署名文化或阻碍数学进步
alexbilz · x · 2026-11-02
alexbilz 引用数学家 William Thurston 1994 年论文《On Proof and Progress in Mathematics》中的观点：数学界对定理署名（theorem-credits）的强烈集体重视，实际上对数学进步有负面影响。被转发的推文则以调侃口吻延伸：既然如此，不如干脆证明所有定理、并把证明定理这件事本身自动化——暗指 AI 证明数学定理的趋势。这是借经典文献评论 AI 自动化数学研究的走向。
「漫话AGI」频道最新
- 为什么最离不开 AI 的人，唯独不用 AI 写作？ — cnakazawa · 2026-11-02
- 「意义联邦」:AI 摧毁科层制后,人类将围绕成果而非组织协作 — sanjaykalra · 2026-11-02
- François Chollet:进化不做刷榜党,泛化与鲁棒才是生存策略 — fchollet · 2026-11-02
- 纽约联储调查 5248 家小企业:用 AI 的更愿意雇人 — killboy123 · 2026-11-02
- TechCrunch 播客追问：AI 高管是否已脱离普通人做不出好产品 — nordicinst · 2026-11-02
- YC 加密创业指引列九大方向：稳定币已刷十亿美元，AI agent 付费反而最少 — FinanceYF5 · 2026-11-02