郭震 AI公众号:郭震AI

实时 AI 消息

陶哲轩代表SAIR Foundation启动“开放数学模型计划”

菲尔兹奖得主陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划”,意在联合学术界与产业界,为数学及科学研究构建开放权重模型与配套开源工具。计划首阶段聚焦论证理解、文献核对、代码编写与形式化证明等日常科研场景,并以开放许可、可复现评测与社区治理作为运作原则。

发布时间

2026年9月18日,菲尔兹奖得主陶哲轩(Terence Tao)代表SAIR Foundation宣布正式启动“开放数学模型计划”。按照公告的说法,该计划意在联合学术界与产业界,为数学及科学研究构建开放权重模型与配套的开源工具。

计划的第一阶段聚焦数学研究的日常场景:理解艰深论证、核对文献、探索示例、编写代码以及形式化证明。基金会强调,这些模型的价值将以可靠的辅助、可验证的结果以及持续使用的成本来衡量,而不是只看单次演示的效果。

在开发方式上,计划承诺提供开放许可的权重与代码,公开训练方法,并提供可复现的评测。训练数据将附带可追溯的来源与兼容的授权,其共享边界会被清楚标注。公告还写明,模型发布时将同时报告失败与局限,而不是只宣扬成功,独立团队应能够复现工作并把模型适配到自身的数学需求。

数据与治理被放在另一条主线上。数学界拥有数据并决定其使用方式,只有在获得用户明确同意、且依据事先约定条款的前提下,数据才会被用于训练或改进模型,研究者自行决定分享什么、出于何种目的分享。计划的治理规则与决策将公开,社区成员有渠道提出建议、参与决策并问责领导者,合作产业伙伴提供算力等资源时必须保持社区的研究独立性。

知识产权方面,本计划开发的模型、代码与工具将在开放许可下与社区共享,具体视情况采用 Apache 2.0、MIT 或 CC BY 4.0 等许可。研究者保留其独立既有成果的权属,这些成果若分享给本计划,研究者将为其数学思想与结果获得署名,联合开发成果的权属与署名则从一开始就与贡献者约定。

时间节奏上,陶哲轩在公告中说明,基金会最初计划循序渐进推进,未来几个月先从若干试点项目起步;但考虑到当下形势与各界对开放模型的强烈需求,决定加快进度,把计划的首次公开宣布提前到今天,尽管部分关键规划仍在推进之中。

计划的资源目前仍处于征集阶段。基金会即日起面向社区征集在资金、算力、专业经验与社区建设方面的合作伙伴,意向可在公告页面底部登记,短期内将发布更多更新与信息,包括合作伙伴名单,以及将该计划融入现有播客、活动与竞赛体系的后续规划。公开资料显示,SAIR Foundation成立于2025年,由陶哲轩发起,多位诺贝尔奖得主及全球顶尖科学家共同指导。

值得关注的是,这类由非营利机构主导、坚持开放权重的科学模型路线,正试图在闭源商业前沿模型与纯学术项目之间占据一个位置。下一步要看的是合作伙伴名单与试点项目的落地情况——谁出算力、谁出数据、评测由谁独立复现,将决定它能否真正成为数学研究的共享基石。

为什么重要

这是非营利机构少有的、明确面向数学社区构建开放权重模型的动作,路线介于闭源前沿模型与纯学术项目之间。若算力与数据合作方陆续落地,可能改变数学研究工具的供给方式与评测话语权归属。

微博邮件

SAIR FoundationTerence TaoOpen ModelMathematics
返回实时消息

附近消息

全部