哪些数学最抗 AI？

doodlestein · x · 2026-07-21

这条帖子借“某个长期猜想被 AI 推翻”这个背景，追问一个更大的问题：还有哪些数学领域最能抵抗 AI？

配图里的讨论认为，真正的分野不在于证明长不长，而在于问题是否容易被形式化、是否容易快速检查、以及是否存在可利用的代数结构。作者倾向于认为，像解析数论这类领域会比更适合形式化的方向更难被 AI 突破，因为瓶颈可能不是“写出长证明”，而是“提出新概念的奖励周期太长”。