AI 生成证明涌入数学界，部分数学家呼吁抵制 OpenAI

部分数学家呼吁抵制 OpenAI，批评其一次发布超过 700 份 AI 数学成果文件，将证明整理与核验负担留给研究社区。Terence Tao 主张数学研究应从解题转向重视解释、社区建设与新研究方向；Scott Aaronson 则对比了 OpenAI 批量公开证明草稿与 Anthropic 付费合作、由研究者整理可读证明的路径。