ChatGPT 助力攻克 26 年数学猜想，千名数学家联名拒为商业 AI 出力

近期数学界因商业 AI 介入科研引发巨大震荡：OpenAI 放出 700 余篇 AI 生成的未解决数学问题半成品文稿，陶哲轩使用 AI 工具协助修订其中相关数论难题的文稿并发起社区共建，此举引发学界关于学者是否该无偿为商业 AI 成果善后的激烈争论。上千名数学家因此成立「人类数学协会」，联名承诺不为商业 AI 提供劳动、不发表 AI 生成的数学论文，其中 654 名学者更进一步承诺全科研流程完全不使用 AI，公开与商业 AI 割席。与此同时，两位学者借助 ChatGPT 的意外突破，成功证伪了悬置 26 年的 Barry Simon 猜想，凸显出 AI 在数学科研中的强大作用。当前数学界正步入证明过剩时代，传统的学术贡献与荣誉评价体系面临全新挑战。