哪些数学最抗 AI？
doodlestein · x · 2026-07-21
这条帖子借“某个长期猜想被 AI 推翻”这个背景，追问一个更大的问题：还有哪些数学领域最能抵抗 AI？
配图里的讨论认为，真正的分野不在于证明长不长，而在于问题是否容易被形式化、是否容易快速检查、以及是否存在可利用的代数结构。作者倾向于认为，像解析数论这类领域会比更适合形式化的方向更难被 AI 突破，因为瓶颈可能不是“写出长证明”，而是“提出新概念的奖励周期太长”。
所属事件:传Claude Fable 5推翻雅可比猜想引发AI数学狂欢(75 条相关)→
「漫话AGI」频道最新
- 物理学家让 AI 自选课题：两小时产出可登顶刊的论文 — burny_tech · 2026-10-27
- 深度学习先驱警告：别再对下一项颠覆技术重演「不信—失备」循环 — jachiam0 · 2026-10-27
- 模型如何应对利益冲突？讨论延伸到平台拒绝服务第三方 agent — sjgadler · 2026-10-27
- Agent 点“我是人类”算不算撒谎？围绕 Amazon 拦截 agent 的争论 — sjgadler · 2026-10-27
- 马斯克断言:机器人 RAM 需求将超其他一切,超级智能算力将移向深空 — elonmusk · 2026-10-27
- Anthropic 上市文件警告 AI 冲击就业，微软同周推自愿离职计划 — _jaydeepkarale · 2026-10-27