9月11日，陶哲轩、邓煜等25位菲尔兹奖得主联署公开信，批评AI公司将数学难题作为模型竞赛基准，认为过快公布成果可能挤压数学家写作、验证、总结方法及确认学术贡献的时间。争议源于OpenAI近日宣布，约1万个AI智能体在88小时内提出纳维—斯托克斯问题的解法，随后引发与数学家Tristan Buckmaster等人的成果归属争议。

不过，这并不意味着数学家反对AI成为生产力工具。核心诉求更接近学术规则与技术效率之间的重新平衡：AI可以加速探索，但成果仍需验证、归因和知识沉淀。换言之，问题不是“能不能用更先进的生产力”，而是谁贡献了什么、成果是否可靠，以及数学共同体如何适应AI带来的生产方式变化。

西安电子科技大学近日新生入学数学能力测试引发关注，多名高考数学130分以上的新生仅考十几分，33分却进入全校前6%左右。校方设置此类高难度测试，并非重新评价学生的高考成绩，而是希望从标准化考试之外，识别具有较强数学思维、分析推导和创新潜力的学生，为创新班、卓越班等拔尖培养项目选拔生源。

西电长期以电子信息等学科见长，也重视大学生科技竞赛和实践创新。 因此，采用接近竞赛或强基训练思路的试题，与其人才培养方向具有一定关联。

不过，外界质疑也有合理之处：如果考试承担选拔功能，学校是否应提前公布更明确的考试范围和样题，降低信息差。高校确实可以根据自身学科定位建立差异化人才培养体系，但真正值得关注的，是这种选拔机制能否最终转化为更好的本科培养效果。

2026年7月30日，北京协和医院神经外科住院医师金山木发布预印本，宣布借助GPT-5.6证明了困扰数学界22年的Crouzeix猜想。消息称，猜想提出者Michel Crouzeix及多位数学家逐行核验后确认其证明逻辑成立，引发学术界关注。

金山木本科就读北京大学地质学专业，后获北京协和医学院医学博士学位。面对这一数学难题，他通过设计多智能体并行探索、交叉审计和持续推演等流程，让GPT-5.6自主运行约16小时，最终形成完整证明。相关提示词、手稿和验证代码已开源。

Crouzeix猜想提出于2004年，是数值线性代数领域的重要问题。若最终得到正式同行评审确认，这一成果不仅意味着22年数学难题可能被攻克，也凸显AI编排能力正在降低专业领域的知识门槛。

目前成果仍处于预印本阶段，最终结论仍需学界进一步验证。