AI 正在加速新定理产出？
fortnow · x · 2026-07-12
作者感叹最近似乎看到了**新定理产出加速**，尤其是在组合数学领域。 他认为这背后可能同时有几种情况： - 有些定理是 **AI 直接证明** 的 - 有些是 **AI 辅助** 证明的 - 有些是 **受 AI 启发** 产生的 - 还有一些则是 **人类抢在 AI 之前先证明出来** 的 整体是在讨论：AI 正在改变数学研究的节奏，甚至影响研究者的优先级和竞争方式。
「漫话AGI」频道最新
- AI 没在杀死数据工程，岗位或将翻倍增长 — Zachly · 2026-07-21
- Pieter Levels 说，AI 让所有人都陷入同等不确定 — marcvanderchijs · 2026-07-21
- Robin Hanson：美国发明近两世纪来越来越不相似 — sebkrier · 2026-07-21
- Gary Marcus 支持的“AI 版 CERN”主张建立国际前沿模型监督机构 — GaryMarcus · 2026-07-21
- Gyges 定律式判断：AI 争论的关键可能是人们信不信结果 — mimi10v3 · 2026-07-21
- 作者认为，AI 时代将由个体小生意放大影响力 — tobowers · 2026-07-21