AI 正在加速新定理产出？
fortnow · x · 2026-07-12
作者感叹最近似乎看到了新定理产出加速，尤其是在组合数学领域。
他认为这背后可能同时有几种情况：
- 有些定理是 AI 直接证明 的
- 有些是 AI 辅助 证明的
- 有些是 受 AI 启发 产生的
- 还有一些则是 人类抢在 AI 之前先证明出来 的
整体是在讨论：AI 正在改变数学研究的节奏，甚至影响研究者的优先级和竞争方式。
「漫话AGI」频道最新
- Anthropic 风险表态遭误引，2030 年毁灭概率争议再起 — davidmanheim · 2026-09-11
- 经济学家拆解 Anthropic 增长模型:能写出 15% GDP 增长,不代表会发生 — sebkrier · 2026-09-11
- Cohere Labs 推出交互工具:测 178 种职业哪些任务会被 AI 自动化 — Cohere_Labs · 2026-09-11
- AI 安全人士上 SkyNews 担忧不平等、滥用与社会激励结构 — schwarzjn_ · 2026-09-11
- 风投人士讽 AI 末日论：与疫情恐慌话术如出一辙 — StewartalsopIII · 2026-09-11
- Anthropic 内部爆料:并非人人都持高 p(doom) 灾难论 — anpaure · 2026-09-11