数学家呼吁抵制 OpenAI，AI 生成证明淹没数学界
原标题：Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field
AI 摘要
OpenAI 发布数百份 AI 生成的数学手稿后，人类数学协会（AHM）指责其违反科研规范并呼吁数学家抵制该公司。菲尔兹奖得主 Terence Tao 和理论家 Scott Aaronson 分别以「Math 2.0」和「Mathocalypse」描述这一冲击，争论焦点在于 AI 证明未经人类独立验证是否算解决。Tao 认为损害不可逆，问题一旦被宣称解决便无法撤回，还会污染其他研究路径。
正文节选
Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field After OpenAI published hundreds of AI-generated mathematical manuscripts, the Association for Human Mathematics is calling for a boycott. Many papers are so dense and oddly written that even leading experts need AI help to decipher them, if they can at all. A dispute is taking shape over whether a problem can count as solved before its proof has been independently worked through and made understandable to hum