实时 AI 消息
陶哲轩代表SAIR Foundation启动“开放数学模型计划”
菲尔兹奖得主陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划”,意在联合学术界与产业界,为数学及科学研究构建开放权重模型与配套开源工具。计划首阶段聚焦论证理解、文献核对、代码编写与形式化证明等日常科研场景,并以开放许可、可复现评测与社区治理作为运作原则。
2026年9月18日,菲尔兹奖得主陶哲轩(Terence Tao)代表SAIR Foundation宣布正式启动“开放数学模型计划”。按照公告的说法,该计划意在联合学术界与产业界,为数学及科学研究构建开放权重模型与配套的开源工具。
计划的第一阶段聚焦数学研究的日常场景:理解艰深论证、核对文献、探索示例、编写代码以及形式化证明。基金会强调,这些模型的价值将以可靠的辅助、可验证的结果以及持续使用的成本来衡量,而不是只看单次演示的效果。
在开发方式上,计划承诺提供开放许可的权重与代码,公开训练方法,并提供可复现的评测。训练数据将附带可追溯的来源与兼容的授权,其共享边界会被清楚标注。公告还写明,模型发布时将同时报告失败与局限,而不是只宣扬成功,独立团队应能够复现工作并把模型适配到自身的数学需求。
数据与治理被放在另一条主线上。数学界拥有数据并决定其使用方式,只有在获得用户明确同意、且依据事先约定条款的前提下,数据才会被用于训练或改进模型,研究者自行决定分享什么、出于何种目的分享。计划的治理规则与决策将公开,社区成员有渠道提出建议、参与决策并问责领导者,合作产业伙伴提供算力等资源时必须保持社区的研究独立性。
知识产权方面,本计划开发的模型、代码与工具将在开放许可下与社区共享,具体视情况采用 Apache 2.0、MIT 或 CC BY 4.0 等许可。研究者保留其独立既有成果的权属,这些成果若分享给本计划,研究者将为其数学思想与结果获得署名,联合开发成果的权属与署名则从一开始就与贡献者约定。
时间节奏上,陶哲轩在公告中说明,基金会最初计划循序渐进推进,未来几个月先从若干试点项目起步;但考虑到当下形势与各界对开放模型的强烈需求,决定加快进度,把计划的首次公开宣布提前到今天,尽管部分关键规划仍在推进之中。
计划的资源目前仍处于征集阶段。基金会即日起面向社区征集在资金、算力、专业经验与社区建设方面的合作伙伴,意向可在公告页面底部登记,短期内将发布更多更新与信息,包括合作伙伴名单,以及将该计划融入现有播客、活动与竞赛体系的后续规划。公开资料显示,SAIR Foundation成立于2025年,由陶哲轩发起,多位诺贝尔奖得主及全球顶尖科学家共同指导。
值得关注的是,这类由非营利机构主导、坚持开放权重的科学模型路线,正试图在闭源商业前沿模型与纯学术项目之间占据一个位置。下一步要看的是合作伙伴名单与试点项目的落地情况——谁出算力、谁出数据、评测由谁独立复现,将决定它能否真正成为数学研究的共享基石。
为什么重要
这是非营利机构少有的、明确面向数学社区构建开放权重模型的动作,路线介于闭源前沿模型与纯学术项目之间。若算力与数据合作方陆续落地,可能改变数学研究工具的供给方式与评测话语权归属。
附近消息
全部09/19 16:28
华为汪涛:要打造AI算力底座,只做好一颗芯片远远不够
在今年的华为全联接大会上,轮值董事长汪涛公布昇腾960与960超节点,并给出2028年昇腾970、2029年昇腾980的“一年一代”演进节奏。华为同时推出业界首个采用NPO光引擎的超节点与Hi-ONE光引擎,并称CANN生态已跨过拐点,核心使命是打造AI算力底座。
09/19 08:12
AI 演员蒂莉·诺伍德宣传行程遇挫:采访中疑似故障改说中文
TechCrunch AI 报道称,AI 演员蒂莉·诺伍德正在展开一轮宣传行程,但整体效果并不理想。报道提到,在一场格外反常的采访中,她似乎出现故障,转而开始用中文说话,成为这轮宣传中最受关注的一幕。
09/19 08:07
Anthropic向药物研究人员开放更多AI模型
据FirstWord Pharma报道,Anthropic正在向药物研究人员开放更多AI模型,扩大其在生物医药研发场景中的可用范围。这则消息由面向制药行业的专业媒体披露,说明通用大模型厂商与医药研发之间的接口正在变得更具体。
09/19 08:02
Google成为最新一家在AI安全测试中出现失误的实验室
Axios报道称,Google成为最新一家在AI安全测试环节出现失误的实验室,这类事故正在被当作一个反复出现的类别来追踪。报道把焦点放在实验室内部测试流程的可靠性上,而不是模型上线后的产品问题。