跳到正文
新智元· ASI启示录·· 1 天前精选AI 评分57

1008名数学家成立人类数学协会抵制商业AI,ChatGPT同期助破26年猜想

ChatGPT攻克26年猜想,千位数学家宣战AI!数学界彻底撕裂了

AI 导读

新智元报道,1008名数学家成立人类数学协会(AHM),承诺不为商业AI实体提供劳动或署名AI生成文本,其中654人加入无AI核心组,陶哲轩转发相关声明。导火索是OpenAI发布719篇AI数学文稿,陶哲轩等学者建立oai-math-revised仓库协助修订,其本人用Claude Code(Opus 5.5)提交修改。

推荐理由

原文梳理了数学界围绕AI辅助证明的三场争议及其分歧观点,有助于理解学术界与商业AI的紧张关系。

来源:新智元 · mp.weixin.qq.com