哪些数学最抗 AI？
doodlestein · x · 2026-07-21
这条帖子借“某个长期猜想被 AI 推翻”这个背景，追问一个更大的问题：还有哪些数学领域最能抵抗 AI？
配图里的讨论认为，真正的分野不在于证明长不长，而在于问题是否容易被形式化、是否容易快速检查、以及是否存在可利用的代数结构。作者倾向于认为，像解析数论这类领域会比更适合形式化的方向更难被 AI 突破，因为瓶颈可能不是“写出长证明”，而是“提出新概念的奖励周期太长”。
所属事件:传Claude Fable 5推翻雅可比猜想引发AI数学狂欢(75 条相关)→
「漫话AGI」频道最新
- 前 OpenAI/Anthropic 研究员辞职,批两巨头正赌命冲向自我改进超智 — davidmanheim · 2026-09-11
- 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