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