研究者反驳“数学家将被 AI 取代”：AI 只是数学证明流程中的一个组件

研究者 gerardsans 反驳 AI 数学突破的营销叙事，称当前技术远无法取代数学家。数学家仍需提出问题并引导系统完成证明，而关键设置、形式化验证及基于 Lean 的验证层均依赖与 AI 无关的软件和算法；整条流程被刻意碎片化，AI 无法独立解释证明为何成立。