启动“开放数学模型计划”

9月18日，菲尔兹奖得主、加州大学洛杉矶分校数学系教授陶哲轩在个人博客上发布声明，宣布由其参与创立的非营利机构SAIR基金会（Foundation for Science and AI Research）正式启动“开放数学模型计划”（Open Math Model Initiative）。

该计划的目标是联合数学界、科研机构和产业伙伴，共同研发面向数学及基础科学研究的开源、开放权重模型。同时，计划将搭建一套科研工具链，使研究者能够根据不同任务调用开源或闭源的大语言模型。

项目背景与提前公布原因

SAIR基金会成立于2025年，由陶哲轩与诺贝尔奖、图灵奖、菲尔兹奖得主等科学家共同发起，重点关注AI与基础科学研究的结合，并强调由科学界决定相关工具的开发、验证和使用方式。

陶哲轩表示，团队原计划在未来几个月先进行小规模试验再扩大项目，但考虑到近期发生的一系列事件以及学界对开放科学模型强烈的需求，决定提前公布整个计划。目前，SAIR尚未公布模型的具体架构、参数规模或明确的训练时间表。

近期，OpenAI、Anthropic、Google等AI实验室在高级数学研究领域进展迅速，AI已开始参与包括纳维-斯托克斯方程存在性与光滑性问题、费马大定理形式化证明以及多个长期开放问题在内的研究任务。OpenAI还透露其模型在另一道千禧年难题上取得了重要进展。

数学界的担忧与应对措施

在启动该计划的一周前，陶哲轩、邓煜等25位菲尔兹奖得主联合签署了题为《数学领域中人工智能的严重失衡》（或译为《数学领域中人工智能的严重错位》）的声明。

声明中指出，大型AI公司将解决数学问题当作基准测试来推进的做法，可能会将数学研究中重视的理解、解释、知识积累和学术协作“排挤在外”，从而对数学科学及数学共同体造成伤害。

为此，陶哲轩强调数学的进步源于可研究和借鉴的发现，开放交流和对贡献的尊重维系着共享的知识体系，这些原则应指导AI工具的使用。

后续安排与合作需求

SAIR基金会目前正向全球学术界和产业界征集合作伙伴，希望在资金、算力、专业知识和社区建设等方面获得支持。

陶哲轩指出，数学界需要能够独立检查、改进和运行的模型，其开发应以共同的科学优先事项为指导。虽然该项目将与能提供计算等资源的战略性行业伙伴合作，但前提是必须维护数学界的科研独立性，由数学界主导计划并决定共享资源的用途。