“让我们携手共建数学2.0时代。”

9月18日，菲尔茨奖得主、加州大学洛杉矶分校数学系教授陶哲轩通过其个人博客宣布，由他参与创立的科学与人工智能研究基金会（SAIR）将正式启动“开放数学模型计划”（Open Math Model Initiative），旨在构建“用于科学的开放权重模型”以及“用于在科学应用中使用开源和闭源逻辑线性模型的开源工具”。

陶哲轩。资料图 

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

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

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

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

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

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

为此，秉持公开透明的治理规则和决策，SAIR开放项目将与能够提供计算和其他资源战略性行业伙伴合作，但前提是，这些合作关系必须维护数学界的科研独立性。

“数学界应主导这项计划，设定优先事项并决定共享资源的用途。”陶哲轩写道，