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

陶哲轩。资料图
约一周前,陶哲轩、邓煜等 25 位菲尔兹奖得主联合发布了一份题为《数学领域中人工智能的严重错位》(A Severe Misalignment of AI in Mathematics)的声明。在这份声明中,他们担心,大型AI公司把解决数学问题当作基准测试来推进的做法,将数学研究原本重视的理解、解释、知识积累和学术协作“排挤在外”,正在对数学这门科学、对数学共同体带来伤害。
此次启动“开放数学模型计划”,被认为是数学界作出的进一步回应。
“我们最初计划逐步推出这项计划,先在接下来的几个月里开展几个试点项目。但鉴于当前形势以及对开放模型的迫切需求,我们加快了进度,并将计划的首次公告提前至今天发布。”陶哲轩在博客中写道,他们“尤其希望”收集各方对该计划的意向,并寻找能够为这项工作提供资金、计算资源、专业知识或社区建设支持的合作伙伴。
陶哲轩认为,数学的进步源于他人可以研究和借鉴的发现。一代又一代的研究人员创造了共享的知识体系,而开放的交流和对彼此贡献的尊重则维系着这一体系。“随着人工智能融入数学研究,这些原则应当指导我们使用的工具。”他说,SAIR及其合作伙伴正“力求走在塑造和应用这些新工具的前沿”。
该计划表明,数学家希望并已经开始了“自己造 AI”的进程。
“通过 SAIR 开放模型项目,我们邀请数学界及其支持者共同构建开源模型。”陶哲轩表示,研究人员可以并将决定这些模型的训练方式、评估标准以及如何服务于科研和教育:“数学界需要能够独立检查、改进和运行的模型,其开发应以共同的科学优先事项为指导。我们欢迎来自不同机构、地区和职业阶段的研究人员参与。”
为此,秉持公开透明的治理规则和决策,SAIR开放项目将与能够提供计算和其他资源战略性行业伙伴合作,但前提是, 这些合作关系必须维护数学界的科研独立性。
“数学界应主导这项计划,设定优先事项并决定共享资源的用途。”陶哲轩写道,