陶哲轩谈「数学 1.0」：重大证明驱动的领域兴奋模式
rms80 · x · 2026-10-08
陶哲轩（Terence Tao）发布长线程讨论传统数学（他称为「Math 1.0」）的运作方式：一项针对长期悬而未决猜想的重磅证明会激发领域内大量后续研究与热潮。rms80 转发并评论称，这一观察不仅适用于数学，也适用于更广泛的领域——暗含对 AI 时代研究范式变化的类比。线程首发，值得读原文。
「漫话AGI」频道最新
- DeepMind 研究员 Trask:用对抗训练反复攻破沙盒,直到无洞可钻 — iamtrask · 2026-10-08
- Reddit 热议:超级 AI 或只是关掉开关无视人类,而非毁灭人类 — EGarrett28 · 2026-10-08
- 柏拉图洞穴之喻:生成式 AI 只有知识没有体验,注定难达 AGI — Akrmstr · 2026-10-08
- 从 Stonebraker 到模型:科技圈崇敬对象正从人物转向模型 — martyjbeard · 2026-10-08
- OpenAI 一次性发布 372 项数学结果,AI 证明 Unique Games 猜想 — LukeW · 2026-10-08
- COLM'26 LM4Sci 工作坊将探讨 LLM 驱动科学发现,嘉宾阵容横跨多校 — ChengleiSi · 2026-10-08