10月11日,丘成桐数学与人工智能实验室联盟成立。联盟由丘成桐牵头,联合清华大学求真书院等机构组建,汇集超过1000名科学家,将开展数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现等研究。丘成桐说,这是学者们最兴奋的时代,也是最危险的时代。他从1969年开始做学问,从未见过如此大的冲击,过去半年变化尤其超出预料。

接受采访时,他说一年前尚未意识到AI有如此强能力,近期进展远超预期,“冲击”已不足以形容,更像海啸来了。他主张主动参与,认为AI做得越好越有帮助,应在海潮上冲浪,而不是躲开。他期待机器与人脑合作,把数学提高到新境界,同时强调让机器能思考、推理,需要有学问的研究者参与。
10月6日,OpenAI一次性公开722份由内部前沿模型生成的数学研究手稿,涉及372组相关成果。部分结果仍待核验或修正,但其提出解答的速度和规模超出许多研究者预期。争议集中在如何发布,以及谁承担后续验证。10月7日,陶哲轩在个人博客转载人类数学协会声明,批评这种大规模发布方式,呼吁数学家停止与OpenAI合作,强调科学应以人类理解为中心。
席南华、何旭华也谈了判断。席南华说,仅有数学定理并不构成数学,数学还有一整套体系和思维方式;解决难题的意义在于加深理解、产生新方法,一个问题被证明不等于研究结束。何旭华指出,争议首先涉及学术规范。OpenAI公布的结果有很多按科学标准不可复现,缺乏可读性且未经认真检查。OpenAI更新记录显示,10月7日公司撤回三份手稿,一处符号错误使其中一篇关键论证失效,并影响另外两篇工作;同一天另有14份手稿接受修订。








