AI 生成的数学证明为何激怒审稿人：太接近可发表形态

RexDouglass 指出，AI 生成数据在蛋白质结构、围棋落子等领域广受欢迎，唯独数学证明激起审稿人激烈反应，因太接近可发表形态。他判断，若 AI 只产出一太字节形式化 Lean 证明并标注为「这是自动系统对重要数学问题的输出，随便用」，人们大概率不会如此反感。触发敌意的恰恰是这些内容几乎可直接当论文发表，威胁学术发表边界与审稿人角色。