#785.陶哲轩&邓煜：我们为何构建开放数学模型

AI 在数学研究中的应用正引发深远变革，其核心挑战在于如何在利用机器算力提升效率的同时，维护学术诚信并保留数学探索的深度理解。AI 能够辅助处理繁琐的证明细节，但若仅作为商业营销工具，往往会因缺乏逻辑透明度和引用溯源，导致学术文献污染。数学界应通过构建开源模型，确保研究工具符合学术价值观，而非依赖闭源的黑箱系统。未来的数学研究应强调人机协作，即利用 AI 拓展研究边界，同时通过人类的提问能力与整体规划，确保数学家在理解与创造新知的主导地位，从而实现学科的持续进步与知识传承。