本报讯 “让我们携手共建数学2.0时代。”9月18日，菲尔兹奖得主、美国加州大学洛杉矶分校数学系教授陶哲轩通过个人博客宣布，由他参与创立的科学与人工智能研究基金会（SAIR）将启动“开放数学模型计划”，旨在构建“用于科学的开放权重模型”以及“用于在科学应用中使用开源和闭源逻辑线性模型的开源工具”。

日前，陶哲轩、美国芝加哥大学教授邓煜等25位菲尔兹奖得主联合发布了一份题为《数学领域中人工智能的严重错位》的声明。在这份声明中，他们担心大型人工智能（AI）公司把解决数学问题当作基准测试来推进的做法，将数学研究原本重视的理解、解释、知识积累和学术协作“排挤在外”，正在对数学这门科学、对数学共同体造成伤害。

此次启动“开放数学模型计划”，被认为是数学界作出的进一步回应。

“我们最初打算逐步推出这项计划，先在接下来的几个月里开展几个试点项目。但鉴于当前形势以及对开放模型的迫切需求，我们加快了进度，并将计划的首次公告提前至今天发布。”陶哲轩在博客中写道。他们“尤其希望”收集各方对该计划的意向，并寻找能够为其提供资金、计算资源、专业知识或社区建设支持的合作伙伴。

陶哲轩认为，数学的进步源于他人可以研究和借鉴的发现。一代又一代研究人员创造了共享知识体系，而开放的交流和对彼此贡献的尊重则维系着这一体系。“随着AI融入数学研究，这些原则也应当指导我们使用的工具。”他说，SAIR及其合作伙伴正“力求走在塑造和应用这些新工具的前沿”。

该计划表明，数学家希望并已经开始了“自己造AI”的进程。

“我们邀请数学界及其支持者共同构建开源模型。”陶哲轩表示，研究人员可以并将决定这些模型的训练方式、评估标准以及如何服务于科研和教育。“数学界需要能够独立检查、改进和运行的模型，其开发应以共同的科学优先事项为指导。我们欢迎来自不同机构、地区和职业阶段的研究人员参与。”

为此，秉持公开透明的治理规则和决策，SAIR将与能够提供计算和其他资源的战略性行业伙伴合作，但前提是，这些合作关系必须维护数学界的科研独立性。“数学界应主导这项计划，设定优先事项并决定共享资源的用途。”陶哲轩写道。（赵广立）