首页 时政热点 科技头条 智能AI 安全攻防 数码硬件 开发者生态 汽车 游戏 社会热点 开源推荐 医疗健康 归档 标签 关于
智能AI morning

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

摘要

陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划” 量子位的朋友们 2026-09-19 14:44:02 来源: 量子位 2026 年 9 月 18 日,菲尔兹奖得主、SAIR Foundation联合创始人陶哲轩(Terence Tao)代表机构宣布启动「开放数学模型计划」,意在联合学术界与产业界,为数学及科学研究构建开放权重模型与配套开源工具。 计划首阶段聚焦理解论证、...

SAIR Community 开放数学模型计划 2026 Open the Terence Tao 核对文献 Models
2026-09-19 1 阅读 约9分钟阅读 量子位的朋友们
分享:
字号:
< img id="wx_img" src="https://www.qbitai.com/wp-content/uploads/imgs/qbitai-logo-1.png" width="400" height="400"> 陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划” 量子位的朋友们 2026-09-19 14:44:02 来源: 量子位 2026 年 9 月 18 日,菲尔兹奖得主、SAIR Foundation联合创始人陶哲轩(Terence Tao)代表机构宣布启动「开放数学模型计划」,意在联合学术界与产业界,为数学及科学研究构建开放权重模型与配套开源工具。 计划首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景,以开放权重、可复现评测与社区治理为原则运作,即日起面向社区征集资金、算力、专业经验与社区建设方面的合作伙伴。 陶哲轩发表声明如下: SAIR FOUNDATION · 官方声明 SAIR 开放数学模型计划 2026 年 9 月 18 日 | 陶哲轩(Terence Tao) 去年,我与几位科学家和投资人等共同创立了SAIR Foundation,意在打造一个非营利组织,在数学及其他科学领域支持人工智能的负责任使用,且不依附于任何大型 AI 公司。基金会的资源起初相当有限,主要活动集中在播客、短期活动与竞赛。我们一直在缓慢地扩大规模、提升抱负、增强后勤保障能力。例如,我们非常感激近期获得 XTX Markets 的支持,资助了下一轮 SAIR 竞赛。此外,我们正与来自学术界与产业界的多家关键伙伴洽谈一项计划,目标是 构建面向科学的开放权重模型,以及便于同时使用开源与闭源大语言模型的科学开源工具 。 我们最初计划循序渐进地推进该计划,未来几个月先从若干试点项目起步。考虑到当下形势与各界对开放模型的强烈需求,我们决定加快进度,将计划的首次公开宣布提前到今天,尽管部分关键规划仍在推进之中。我们现已开始征集对该计划的意向表达,因为我们正在寻找能够贡献资金、算力、专业经验或社区建设的合作伙伴。(意向可在公告页面底部登记。)我将公告原文重录于下。我们计划在短期内发布更多更新与信息,包括合作伙伴名单,以及将该计划融入我们现有播客、活动与竞赛体系的后续规划。 为数学界构建开放模型 Building Open Models for the Mathematical Community 数学因可被他人审视与延续的发现而进步。一代代研究者构筑了共享的知识体系,靠开放交流和对彼此贡献的尊重维系。当人工智能成为数学研究的一部分,这些准则应当塑造我们使用的工具。SAIR 与其合作伙伴正式启动一项计划,站到塑造并落地这些新工具的前沿。让我们携手构建数学 2.0。 由社区塑造的模型 Models Shaped by the Community 通过 SAIR 开放模型,我们邀请数学界及其支持者共同构建开源模型。研究者能够并且将会决定这些模型的训练方式、评测内容,以及它们如何服务科研与教学。社区需要能够检视、改进并独立运行的模型,其开发由共同的科学优先事项引导。参与应当跨越机构、地域与职业阶段,向所有人开放。 面向日常研究的工具 Tools for Everyday Research 第一阶段聚焦于日常数学工作,包括理解艰深论证、核对文献、探索示例、编写代码以及形式化证明。我们的模型将帮助人们建立理解,开展此前无力推进的研究。我们将以可靠的辅助、可验证的结果以及持续使用的成本来衡量其价值。 开放开发 Open Development 我们的模型将提供开放许可的权重与代码,公开训练方法,并提供可复现的评测。训练数据将附带可追溯的来源与兼容的授权,其共享边界会被清楚标注。模型发布时,将同时报告失败与局限,而非只宣扬成功。独立团队将能够复现这项工作,并把模型适配到自身的数学需求。 数学界拥有数据 The Mathematical Community Owns the Data 数学界拥有数据,并决定其使用方式。我们将仅在获得用户明确同意、且依据事先约定条款的前提下,使用用户数据训练或改进模型。研究者自行决定分享什么、出于何种目的分享。 共享知识产权 Shared Intellectual Property 本计划开发的模型、代码与工具,将在开放许可下与社区共享,例如 Apache 2.0、MIT 或 CC BY 4.0(视情况而定)。联合开发成果的权属、许可与署名,应从一开始就与贡献者约定。尽管如此,研究者保留其独立既有成果的权属,这些成果若分享给本计划,研究者将为其数学思想与结果获得署名。 开放的社区与治理 Open Community and Governance 我们欢迎跨越机构、地域与职业阶段的参与。数学界应当治理这项计划,设定优先事项并决定共享资源如何使用。治理规则与决策将公开,成员有清晰的渠道提出建议、参与决策并问责领导者。我们会与战略产业伙伴合作以提供算力等资源,但这些合作必须保持社区的研究独立性。 加入计划 Join the Initiative 我们邀请你加入 SAIR 开放模型,让开放模型与可负担的算力成为数学研究的共享基石。 我们计划在不久的将来发布更多详细公告,敬请关注。 合作联系 collaboration@sair.foundation 社区讨论 欢迎加入 SAIR Foundation Zulip 讨论区参与交流 原文:Terence Tao, “SAIR’s Open Math Model initiative” 来源链接:https://terrytao.wordpress.com/2026/09/18/sairs-open-math-model-initiative/ 文案基于英文原文直译 编辑过程中遵从中文阅读习惯略有修改 仅供参考之用 如存在任何差异或歧义 以英文原版为准 关于SAIR Foundation 科学与人工智能研究基金会(SAIR Foundation)成立于2025年,是一家由菲尔兹奖得主陶哲轩教授发起、多位诺贝尔奖得主及全球顶尖科学家共同指导的非营利性研究机构。基金会致力于解决科研体系的结构性瓶颈,通过跨学科的全球协作,以科学、安全的方式加速向通用人工智能(AGI)和超级人工智能(ASI)的演进。 基金会的特色在于:构建全球顶尖科学家网络,汇集数学、物理、计算机等领域的诺贝尔奖、图灵奖、菲尔兹奖得主,形成跨学科智囊团;专注科研范式变革,不仅关注AI技术应用,更关注如何重构科研基础设施、流程和评价体系;强调科研成果可验证与可重复性,将“可验证性” 作为核心原则,应对AI在科研中的“幻觉” 问题;长期主义视角,关注科研生态的可持续发展,防止知识断代和人才流失。 本文由SAIR AI Foundation提供,量子位获授权转载,观点归原作者所有。 版权所有,未经授权不得以任何形式转载及使用,违者必究。
这篇文章对您有帮助吗?

订阅66必读

每日精选科技资讯,直达你的邮箱