数学家被指对AI证明标准不一

2026年10月28日，AGI Hunt 发布一则评论观察，指出数学界在 AI 证明上存在标准不一的讽刺现象：一些数学家公开强调，未经人工检查就不应发布 AI 生成的“烂证明”；但同一批人又被指自己立刻就发布了 AI 生成的证明。该观察由此认为，数学界对 AI 辅助证明的审核态度与实际发布行为并不一致。报道目前仅为评论性观察，未点名具体数学家，也未披露涉事证明的内容、发表渠道或审核过程，被指一方尚无回应，事件仍停留在讨论层面。

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

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