斯蒂芬·沃尔夫拉姆近日撰文探讨了人工智能对纯数学研究未来的影响。他认为，虽然AI在数学领域具有显著应用价值，特别是在知识库挖掘和问题求解方面，但纯数学的根本驱动力仍然是人类的想象力与创新思维。沃尔夫拉姆强调，数学的本质不在于生成尽可能多的新定理，而在于发现能被人类理解的概念和结构。
数学家波·沈·洛近日发表评论文章，阐述了AI时代保留人类数学家的必要性。他提出「人类繁荣」作为核心公理，主张"我们应该帮助人类繁荣"，并论证为了维持人类主导的AI发展方向，需要由具有强价值观的人类专家团队来引导研究。沈·洛认为，随着AI发展产生的控制点和专业工作需求将超出人类承载能力，这种压力反而会制约AI的发展速度。
数学家Grant Sanderson提出，随着人工智能生成证明的能力不断增强，数学界需要重新审视价值评判标准，将"动机清晰的解释"提升到与证明同等的重要地位。Sanderson认为，数学的根本目标是促进人类理解而非仅仅生成证明，学术界应当通过重视清晰的解释、系统地阐述问题和教学贡献来更好地衡量数学家的价值。
25位菲尔兹奖得主发表联名信，批评AI公司与数学社区存在严重的目标偏离。这封题为《AI在数学中的严重不对齐》的信函指出，AI公司优先追求快速发布解决方案，而忽视了概念理解和洞察，导致"解决方案仓促发布，没有时间进行适当的论文撰写、新方法隔离和引用他人工作"。信函发表的契机是OpenAI宣布解决纳维叶-斯托克斯存在性与…