主题演讲

Peter L 演讲：SAIR——开放即设计，科学 x AI 的协作平台

Peter L: SAIR: Open by Design — The Platform for Science x AI

主题演讲🎤 Peter L⏱ 6:44👁 NA

▶ 在 YouTube 观看

SAIR 团队成员介绍其「开放即设计」的科学与 AI 协作平台，通过竞赛、Playground、开放基准与贡献者网络，把科学问题变成可复用的开放研究基础设施，让全球每位科学家都能参与。

核心要点

SAIR 的核心理念是「开放即设计(Open by Design)」，要打造一个连接科学与 AI 的开放研究平台与社区。
平台同时推动「AI for Science」(用 AI 扩展科学探索的规模、速度与广度)和「Science for AI」(用科学任务检验 AI 的推理、可靠性、可解释性与评估能力)。
平台把科学、产业、建造者(builders)、资本四大要素连接在同一社区，已有超过 50 万人的线上社区。
研究闭环从「开放问题」到「开放成果」，每个环节都留下可复用的数据、工具、基线记录与协作者。
核心组件包括竞赛(Competitions)、Playground 实验环境、开放基准(Open Benchmarks)以及贡献者网络。
通过 SAIR ID(记录贡献)与 SAIR Connect(撮合协作)构建可追溯、可协作的全球科学社区，目标是让顶尖大学之外的每位科学家都能平等参与。

分章详解

开场与平台定位：开放即设计

讲者承接前面 Terence Tao、Parish、Chuck 等人的发言，专门来谈「平台」本身。
SAIR 要做的是一个「开放即设计(open by design)」的平台与社区，把科学与 AI 结合起来。
这是一个面向研究问题、工具、基准、贡献者和协作的开放平台。

两个方向与最终目标：开放研究基础设施

AI for Science：用 AI 扩展科学探索的规模(scale)、速度(speed)与触达范围(reach)。
Science for AI：科学任务为 AI 的推理、可靠性、可解释性和评估提供真实而实用的检验。
最终目标是建立开放研究基础设施，让数据、工具、模型、基准和引用都可被复用，使研究和进展能够累积。

四大要素与社区现状

平台连接四个垂直要素：科学(science)、产业(industry)、建造者(builders)和资本(capital)，统一在一个社区中。
目标是形成开放分发与开放教育的社区，让全球产业共同成长。
现状：已有超过 50 万人的线上社区，举办播客、直播活动和对全球顶尖科学家与产业领袖的访谈；有覆盖全球的网络，并通过线下峰会(如本次活动)聚集社区。

研究闭环：从开放问题到开放成果

研究闭环(research loop)从开放问题/数据出发，每个模块都留下可复用的基础设施：数据、工具、基线记录、协作者。
围绕开放问题或数据创建竞赛，竞赛中包含 Playground，人们可以测试理论与方法；成果进入开放基准用于评估，并产出可用数据。
竞赛把前沿科学转化为共享的研究任务：公开的问题陈述与数据集、可运行且可复现评估的任务、能成为可复用研究成果的提交。
竞赛被设计为可跨多个科学领域扩展，而不局限于最初的领域。

Playground 与开放基准

Playground 是科学与 AI 交互的共享环境，用于测试想法、检查输出、比较方法、复现他处看到的结果。
用户可运行求解器(solvers)和基线，检查日志、证明、Lean 证书(lean certificates)和失败记录，在统一评估框架下比较输出，并把实验转化为可复用成果。
可自定义选择模型、问题和评估框架，自由度高，帮助用户达到目标。
开放基准让进展可见且可比较：跨模型、方案与团队衡量结果，看清哪些有改进、哪些被破坏，再迭代改进。

贡献者网络与全球开放愿景

贡献者网络(contributor network)绘制开放科学背后的人与贡献：可按问题、成果、工具和经验证的工作来发现贡献者，可追溯提交、数据集、方法和团队的演变。
SAIR ID 记录人们的贡献，SAIR Connect 帮助他们找到下一步该做什么，并撮合贡献相近的人开展协作。
愿景是建立面向全球科学的开放模式，不只服务顶尖大学，而是面向每个国家、每所大学、每位科学家。
正在构建用社区数据(含来自顶尖实验室的轨迹/traces)训练的前沿科学模型，向所有人开放。
一个平台覆盖多个科学前沿：数学(因其基础性目前最相关)、物理、生物、材料、能源、机器人、化学、气候等，通过开放挑战、数据、工具、模型、基准和社区实现。
号召听众一起共建：发起挑战、贡献基础设施、加入网络、共创项目。

关键引述

“我们想打造一个「开放即设计」的平台和社区。(We want to make a platform and community that is open by design.)”— Peter L

“我们用 AI 服务科学，以扩展科学探索的规模、速度与触达范围；我们也用科学服务 AI，让科学任务为推理、可靠性、可解释性和评估提供实用的检验。”— Peter L

“我们的目标是为全球科学创建一种开放模式，它不只面向顶尖大学，而是面向每一处、每一位科学家。(an open model for global science that is accessible not just to the top universities, but accessible to every scientist everywhere.)”— Peter L

“我们需要开放科学，才能帮助我们实现突破。(We need to open up science to help us break through.)”— Peter L

术语 / 人物

SAIR (Foundation for Science and AI Research) — 科学与 AI 研究基金会，由 Terence Tao 等于 2026 年初联合创立的非营利机构，致力于「AI for Science」与「Science for AI」两个方向。

Open by Design — 「开放即设计」，指平台从底层设计上就以开放协作、可复用为原则，而非事后才补充开放性。

Research Loop (研究闭环) — 从开放问题/数据到开放成果的循环流程，每个环节(竞赛、Playground、基准)都留下可复用的基础设施。

Playground — 科学与 AI 交互的共享实验环境，可运行求解器与基线、检查日志和证明、比较方法并复现结果。

Open Benchmarks (开放基准) — 可跨模型、方案与团队公开比较结果的评测体系，使科学进展可见、可比较、可迭代。

SAIR ID / SAIR Connect — SAIR ID 记录个人贡献；SAIR Connect 据此撮合贡献相近的人协作并推荐下一步行动。

Lean certificate (Lean 证书) — 由 Lean 证明助手生成的形式化证明产物，用于在 Playground 中检查与验证数学结果。

背景补充

SAIR(科学与 AI 研究基金会)是一家美国非营利机构，2026 年初由菲尔兹奖得主、数学家 Terence Tao 与 Chuck Ng 等联合创立，并汇聚了诺贝尔奖、图灵奖、菲尔兹奖得主等顶尖力量。其使命是「为智能奠基、为发现扩容」，推动「AI for Science」(用 AI 加速科学发现)与「Science for AI」(用科学方法设计、评估和治理 AI)两个方向。本演讲对应 SAIR 的同名主题「Open by Design — The Platform for Science x AI」，由团队成员 Peter L 介绍平台的具体构成。(注：字幕中多次出现的「Singularity」应为「SAIR」的语音识别误听。)

适合谁看

适合关注 AI for Science、开放科研基础设施、科研众包/竞赛平台的科研人员、学生、工程师、产业与资本方，以及希望参与 SAIR 社区共建的开发者。