陶哲轩声援抵制OpenAI，数学界与AI巨头矛盾升级

10月6日，OpenAI在GitHub平台一次性公开722篇由其内部AI模型生成的数学手稿，涵盖数论、几何及理论计算机等多个前沿领域，引发数学界强烈震动。次日，菲尔兹奖得主、加州大学洛杉矶分校数学教授陶哲轩在其个人博客全文转载人类数学协会声明，公开声援抵制OpenAI，标志着学界与商业AI巨头的矛盾进一步升级。 此次发布虽展示了AI在快速生成候选定理方面的突破性能力，但也暴露出严重的学术规范争议。部分学者指出，大量手稿逻辑晦涩、引证模糊，且仅约四成完成形式化验证。数学界担忧，当机器生成证明的速度远超人类理解能力时，传统科研生态将面临颠覆。学者们被迫从独立原创转向耗时验证，不仅加剧了研究资源的分配不均，更引发对学术议程是否将被商业资本主导的深层忧虑。 事实上，自今年8月以来，OpenAI多次高调发布AI数学进展，已陆续引发优先权争议。尽管学界内部对AI合作态度存在分歧，但核心共识在于数学家必须保有提出新问题与发展新理论的主动权。当前，数学界正加速重塑成果验证与评价机制，以期在AI浪潮中维系科学研究的自主性与严谨性。