陶哲轩启动开放数学模型计划，联手学界打造开源科研AI

菲尔兹奖得主、科学与人工智能研究基金会（SAIR Foundation）联合创始人陶哲轩（Terence Tao）正式宣布启动**“开放数学模型计划”**（Open Math Model initiative）。该计划旨在联合学术界与产业界，为数学及科学研究构建开放权重模型和配套开源工具，让开放模型与可负担的算力成为数学研究的共享基石。

构建独立于商业巨头的科学 AI 生态

SAIR Foundation 成立于 2025 年，是一家由陶哲轩发起、多位诺贝尔奖与图灵奖得主共同指导的非营利研究机构。基金会成立的初衷，是在不依附于大型商业 AI 公司的前提下，支持人工智能在数学及其他科学领域的负责任应用，并加速向通用人工智能（AGI）演进。

陶哲轩表示，基金会此前已获得金融量化机构 XTX Markets 的支持，用于资助新一轮科研竞赛。考虑到学界与产业界对开放模型的需求极为迫切，团队决定加快节奏，提前公布该计划。目前，基金会正在与多家学术与产业机构接洽，并面向全球征集资金、算力、专业经验及社区治理层面的合作伙伴。

聚焦日常科研场景，拒绝黑盒

数学的发展依赖于可被公开审视与延续的知识体系。陶哲轩强调，当 AI 深度介入科研流程时，这套开放准则同样应当约束科研工具本身。

该计划的第一阶段将直接切入数学家的日常科研场景：

• 辅助理解：拆解和理解艰深的数学论证
• 文献核对：快速检索、比对与验证学术文献
• 探索与编码：辅助构造数学示例、编写计算代码
• 形式化证明：推进形式化数学验证体系的普及

计划构建的模型将以可靠的辅助能力、可验证的结果以及可持续负担的算力成本作为核心评价标准，重点解决大语言模型在科研推导中存在的“幻觉”问题。

开放开发与数据主权

在技术路线与治理架构上，该计划确立了多项核心原则：

• 完全开放开发：模型将采用 Apache 2.0、MIT 或 CC BY 4.0 等开源协议提供权重与代码，完全公开训练方法与可复现的评测流程。模型发布时不仅展示突破，还会完整披露局限性与失败案例。
• 数据主权归数学界：模型训练仅在获得研究者明确授权的前提下使用数据。科研人员自主决定分享范围，并享有学术思想的署名权与既有成果的所有权。
• 独立的社区治理：优先事项与共享资源的使用由数学界共同决策。尽管计划会联合产业伙伴筹集算力等基础设施，但合作必须严格保证学术研究的独立性。

陶哲轩表示，SAIR 团队将在近期公布首批合作伙伴名单及试点项目的详细落地规划，欢迎全球数学家、AI 开发者与科研机构共同参与这场“数学 2.0”基础设施的建设。