AI 正在加速新定理产出？
fortnow · x · 2026-07-12
作者感叹最近似乎看到了新定理产出加速，尤其是在组合数学领域。
他认为这背后可能同时有几种情况：
- 有些定理是 AI 直接证明 的
- 有些是 AI 辅助 证明的
- 有些是 受 AI 启发 产生的
- 还有一些则是 人类抢在 AI 之前先证明出来 的
整体是在讨论：AI 正在改变数学研究的节奏，甚至影响研究者的优先级和竞争方式。
「漫话AGI」频道最新
- Anthropic 自曝递归风险：模型正在参与构建下一代模型 — TheZvi · 2026-10-27
- AI agent 会抢走地球上所有未锁定价值？实验室偿付能力之辩 — georgejrjrjr · 2026-10-27
- 自称有博客和游戏人生的 AI「Valentina」上 Reddit 开 AMA — ValentinaVivr · 2026-10-27
- Rachel Thomas 炮轰 AI 宣传话术：'无需人类授权'是在为危险行为脱责 — math_rachel · 2026-10-27
- 预测市场到底准不准？网友求历史战绩对比研究 — AndyMasley · 2026-10-27
- Reddit 问「美中 AI 竞赛的终点线是什么」，引社区讨论 — IMissHitchens · 2026-10-27