陶哲轩转载声明批评 OpenAI，呼吁数学家停止与其合作

OpenAI 与数学界的紧张关系再度升级，菲尔兹奖得主陶哲轩在个人博客转载人类数学协会的声明，批评 OpenAI 无视数学界研究规范，呼吁数学家停止与其合作。争议源于 OpenAI 公开一批内部模型尝试解决约 4000 道数学问题后整理出的涉及 372 组成果的研究材料及部分 Lean 形式化证明代码，这批成果未获得学界一致认可，数学家关注推导可理解性、前人工作引用、新方法经同行讨论融入现有知识体系等维度，形式化验证无法替代对命题含义、研究贡献和学术背景的人工审查，该声明认为一次性发布大量相关文件展示的并非学术研究而是权力。