浙江
丘成桐数学与人工智能实验室联盟10月11日在清华大学成立，计划汇聚约1000名数学家和科研人员，推动人工智能与数学及交叉学科研究结合。菲尔兹奖得主、清华大学讲席教授丘成桐担任联盟牵头人。他表示，中国在借助AI推进前沿科学方面仍落后于美国，国内大模型的科研能力也尚未处于世界领先水平，联盟希望整合人才和资源，自主研发数学科学专用模型。
联盟由八家机构联合组建，包括清华大学求真书院、清华大学丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳），以及香港中文大学致真交叉数学科学院。首个数学与人工智能实验室设在清华求真书院，并与丘成桐数学科学中心联合组建；联盟还计划在北京、上海、南京、深圳和香港建设实验室，通过共享模型训练资源、形式化数学库和算力平台开展协作。
联盟现阶段的重点包括研发数学专用大模型、利用AI辅助猜想发现与形式化证明、发展可解释人工智能，以及推动数学与量子计算、生命科学、金融等领域交叉。联盟还计划开展人才培养和国际合作，并创办《AI辅助数学期刊》。成立活动公布了十余项研究成果和方向，涉及几何、量子计算、生命科学，以及退化阿诺德猜想、Sylvester猜想等数学问题；这些项目的成熟度并不相同，部分是研究方向，不能一概视为已经完成并通过同行评议的成果。
一项受到关注的案例，是清华丘成桐数学科学中心与上海数学与交叉学科研究院合作研究七维同伦球面。研究论文目前以预印本形式公开，报告称为全部28种定向微分同胚类别的光滑七维同伦球面构造出具有严格正截面曲率的黎曼度量。联盟方面介绍，AI帮助团队探索证明策略、简化计算；计算代数系统用于核验恒等式和区间界，并生成可复现的计算证书。研究构思、证明与最终论证仍由数学家承担，因此这项成果并非AI独立完成证明。
AI批量生成数学成果的能力也引发了学术规范方面的讨论。中国科学院院士、中国数学会理事长席南华指出，企业发布AI生成成果的节奏与数学界严谨核验、同行评审的传统存在冲突，未经充分检验的错误内容可能流出；他认为数学界和AI产业需要共同建立各方认可的规则。近期OpenAI公开了由内部模型生成的一批数学手稿和证明材料，其官方仓库目前列出719篇稿件、分为372组，并说明结果处于不同验证阶段，约42%的主要结果有Lean形式化，尚未形式化的成果仍可能存在问题。这也凸显了AI辅助数学研究除了提高探索效率，还必须解决验证、复现和责任归属问题。
丘成桐认为，AI能够生成大量证明和计算结果，但提出有洞察力的新问题、形成数学直觉与创造性判断，仍是人类研究者的重要作用。联盟成立后如何把大模型能力转化为可核验的数学发现，并建立与之相匹配的学术标准，将成为其后续工作的关键。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
