RexDouglass：AI生成数学证明激怒审稿人

RexDouglass 观察到，开放蛋白质数据库会被视为新机会，但基于这些数据写成的数百篇论文却直接动了学术圈奶酪，遭到激烈抵制。他指出，同样体量的 1TB 自动化输出（如数学问题的自动结果）反而不被计较，真正触发抵触的是这些内容「几乎可以算已发表成果」，威胁到研究者的领地。

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

AI 公司产出的大量科学语料在不同领域接受度差异明显：蛋白质结构、围棋落子等 AI 生成数据源广受欢迎，数学证明却因太接近可发表形态而激怒审稿人。基于公开数据写成的数百篇论文被视为竞争威胁并遭激烈抵制，开放蛋白质数据则被视为新机会，单纯的大规模自动化输出较少引发此类反应。