研究者反驳AI取代数学家叙事

研究者 gerardsans 称，当前 AI 尚无法取代数学家，数学家仍需提出问题并引导系统完成证明，不能把 AI 单独包装成数学突破的制造者。 他认为，数学证明流程中的关键设置、形式化验证，以及基于 Lean 的验证层，都依赖与 AI 无关的软件和算法；整条流程还被刻意拆分为多个环节，AI 无法独立解释证明为何成立。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。