群发资讯网

#人类数学家联合抵制OpenAI#人类数学协会AHM发布联合声明,呼吁全球数学家停止与OpenAI合作,菲尔兹奖得主陶哲轩转载声明,引发数学界巨大讨论。 导火索是OpenAI一次性放出700余份AI生成的数学证明手稿,宣称完成大量高等数学命题的证明。虽然可以用形式化工具校验逻辑,但文稿推理晦涩、文献引用混 ​

人类数学家联合抵制OpenAI人类数学协会AHM发布联合声明,呼吁全球数学家停止与OpenAI合作,菲尔兹奖得主陶哲轩转载声明,引发数学界巨大讨论。导火索是OpenAI一次性放出700余份AI生成的数学证明手稿,宣称完成大量高等数学命题的证明。虽然可以用形式化工具校验逻辑,但文稿推理晦涩、文献引用混乱,缺少人类研究该有的思想阐释、学术溯源与同行讨论环节。数学家的核心担忧:数学不止追求“答案正确”,更看重思想、洞见与知识传承。AI快速批量产出证明,相当于把海量待核验的成果抛给学界,人类需要耗费巨大精力去甄别、理解、纠错;商业公司为展示模型实力,将攻克难题当作跑分竞赛,无视学术共同体的研究规范。此前已有25位菲尔兹奖得主联名发声,警告AI公司不要把数学研究异化为算力展示。声明直言:“一次性发布700多份文件,展示的不是学术研究,而是权力”。当然,这并非全盘否定AI。学界认可AI可以作为辅助工具,帮助数学家做推演、验算。但反对商业公司绕过学术规则,批量发布未经消化的机器成果,破坏数学学科原有的研究生态。AI是工具,科学研究的内核,终究离不开人类的理解、思辨与传承。