数学家呼吁抵制 OpenAI，AI 生成证明冲击数学界

陶哲轩等数学家发表声明，批评 OpenAI 一次性发布 700 多个 AI 生成的数学证明，称这是权力的展示而非学术贡献。陶哲轩提出 Math 2.0 应停止以解题为核心，转向重视解释、社区建设和新方向。Scott Aaronson 则用妻子研究唯一博弈猜想的经历说明 AI 证明难以理解，并透露 AI 公司正悄悄探测密码学弱点。