实体库 · 机构 · 公司

Physical Superintelligence (PSI)

Physical Superintelligence (PSI)：公司；实体库里暂时没有记录带证据的关系。

档案 · 深度报告 CASE FILE / AI 做物理与数学研究 / 开源 agent / 美国公益公司（据官网）· Cambridge, MA（据 X 简介） · 首次发布 2026-11-09

Physical Superintelligence · 证明已公开，同行评审还没有

PSI 是一家 2026-09-01 公开亮相的 AI 物理研究实验室，自称公益公司，官网把工作方式写成“人类科学家定题，虚拟物理学家做研究”。它公开的研究只有两条：2026-10-23 的量子信息 5 个开放问题，和 2026-11-06 的 Aaronson–Ambainis 猜想证明。后者称由内部研究系统加一个未公开的 Anthropic 模型找到，带 Lean 形式化；论文作者栏只有一位 PSI 员工，没有 arXiv 号，也没有同行评审。猜想作者 Scott Aaronson 在博客里写自己还没读懂，只是相信它对。官网写的商业路径是数据中心物理建模，目前没有任何可检视的产物。本档案按公司自述、第三方、公开数据库分开记。

项目内容
类型 / TYPE公益公司（官网写 public benefit corporation；联合创始人 Wissner-Gross 的 X 帖写全称 Physical Superintelligence PBC）；AI 研究实验室、开源软件，官网写的商业路径是数据中心物理建模
领域 / FOCUS用 AI 系统做物理与数学研究（量子信息开放问题、Aaronson–Ambainis 猜想，均附 Lean 形式化）；开源物理研究 agent Get Physics Done；官网写第一个试验场是 AI 数据中心的物理基础设施
总部 / HQ官网没有写地址；官方 X 与 Wissner-Gross、Morari 的 X 简介位置栏写 Cambridge, MA（美国），Klokus 写 New York, NY；官网招聘页本刊没有打开
成立 / FOUNDED融资与团队 2026-09-01 公开；最早的公开痕迹是官方 X 账号（2026-02-15）和 Get Physics Done 仓库（2026-03-09）；公司注册日本刊没有核到
规模 / TEAM官网写团队 25 人以上，列出 4 位领导（Pines、Wissner-Gross、Klokus、Morari）；没有人员名单；论文另署 2 位 Advisor
融资 / FUNDING$58M 种子轮，Breakthrough Energy Ventures 领投（Pines 与 Wissner-Gross 2026-09-01 的 X 帖；官网写 “$58M+”）；估值官方没写
状态 / STATUS运营中；官网与官方 X 最新内容均为 2026-11-06（Aaronson–Ambainis 猜想），GitHub 组织最近推送同日
最后核实 / VERIFIED2026-11-09

§ 01 / 它是谁

一家自称公益公司的 AI 物理实验室，官网只有五个页面

官网首页的标题是 “The AI-Native Laboratory Fueling the Physics Takeoff”，工作方式写成人类科学家定任务、虚拟物理学家执行研究；工作单位叫 Autonomous Campaign，即从问题定义、假设、验证、实验、工程到部署连续运行的一项研究。法人类型官网写的是 public benefit corporation，并说安全、验证、负责任开发和公共利益写在章程里（章程本文本刊没有核到）；Wissner-Gross 的 X 帖写全称 Physical Superintelligence PBC。官网 sitemap只列了 5 个页面：首页、愿景页、研究索引和两篇研究，没有团队页、关于页或产品页；Research 索引页目前只列两条研究。

官网 Leadership 列了 4 人：Matthew Pines（CEO）、Alex Wissner-Gross（Chief Scientist and Chief of Strategy）、Alex Klokus（President）、Alessandro Morari（CTO）。各人经历只有自述：Pines 的 X 简介写 physics & philosophy @ JHU、public policy @ LSE；Wissner-Gross 的个人站写 2003 年 MIT 毕业、2007 年 Harvard 物理博士，共同主持 Moonshots 播客，并把自己的职务写成 Founder and Chief Scientist，与官网的写法略有出入；Klokus 的 X 简介写 Klokus 是 SALT Fund 的创始人与管理合伙人；Morari 的 X 简介只写 CTO，此前经历本刊没有核到。官网称团队有 25 名以上研究员和工程师，来自 Harvard、MIT、Stanford、Institute for Advanced Study、Perimeter Institute、Oxford、Cornell、UCSB、Los Alamos、Google、NVIDIA、Meta，只有单位，没有名单。

融资方面，Pines 在 2026-09-01 13:08 UTC 的 X 帖宣布 $58M 种子轮，由 Breakthrough Energy Ventures 领投；官网 Backing 写 “$58M+”，列出的跟投方有 Dragon Global、Solari Capital、Robot Ventures、Susa Ventures、Variant Fund、SV Angel、Balaji、Valkyrie、021T、Anthony Scaramucci，以及来自 SoftBank Energy、a16z scout、Hugging Face、NVIDIA、OpenAI、Jump Capital 的个人。各家金额、估值和 “+” 的含义官方没有写。

§ 02 / 愿景

验证是核心论点，商业路径是数据中心

愿景页官网自标写于 2026 年 8 月。核心论点是：想法会越来越多，真相仍然稀缺，瓶颈从生成转向验证。PSI 说它的系统把生成与验证分开，候选结果要过一道道无法与之争辩的关口：守恒律、对称性、量纲一致性、形式证明、仿真、数字孪生和物理测量；验证器同时充当下一代模型的奖励函数，口号大意是以现实作为奖励。

商业路径写得很具体：第一个试验场是 AI 的物理基础设施。PSI 说要为运行中的设施建高保真模型，让虚拟物理学家用它找隐藏约束、测试干预，目标是更高的算力密度、更好的能效与热管理、更高的资本效率。官网没有写客户、合同或收入，没有产品页，也没有这条路径的演示或数据。

愿景页还写了一个假设：早期工作“指向”一条物理发现的 scaling law，即推理时算力越多、难研究问题上的表现越强，并且说“如果成立”会怎样。页面没有给出不同算力预算下的结果。本档案把它记为未验证的假设。

§ 03 / 公开履历

两条研究、一个开源仓库、一个挂在组织下的预印本

  • 2026-02-15 官方 X @psipbc创建（页面显示 Joined February 2026）；简介写 AI native laboratory，位置 Cambridge, MA；截至 2026-11-09 有 7,800 余位关注者。
  • 2026-03-09 至 03-11 Get Physics Done（GPD）仓库创建，psi-oss 组织两天后创建（显示名 Physical Superintelligence PBC (PSI) Open Source）。README 自称是首个开源的 agentic 物理研究系统，工作流是界定问题、规划、推导、验证、打包；支持 Claude Code、Codex、Gemini CLI、OpenCode。2026-11-09 为 973 星、142 fork，最新 release 为 2026-05-07 的 v1.2.2；README 与 LICENSE 正文是 Apache-2.0。
  • 2026-09-01 融资宣布（Pines 的 X 帖，同日 Wissner-Gross 也发帖）。
  • 2026-10-20 GitHub 组织 physical-superintelligence创建，公开仓库 3 个：oqp-batch-2026、chain-theory、aaronson-ambainis。
  • 2026-10-23 至 10-26 Five results on Open Quantum Problems：研究页日期 10-23，官方 X 公告在 10-26（UTC 23:44）。页面称对量子信息领域 Open Quantum Problems 列表里的 5 个问题（OQP 2、12、27、38、43）得到新结果，每个附论文、Lean 形式化和验证代码，仓库文档说明每个结果里 AI 怎么用的。发布仓库2026-10-23 创建。本刊没有打开这 5 篇论文。
  • 2026-10-24 chain-theory仓库创建，README 作者栏署 A. D. Wissner-Gross，没有提 PSI；内容见下文“此前与此外”。
  • 2026-11-06 A proof of the Aaronson-Ambainis conjecture：研究页、论文 PDF和 Lean 仓库同日公开，官方 X 线程在 14:05 UTC。同日官网 sitemap 更新。

§ 04 / Aaronson–Ambainis 猜想

称第三天有了完整证明，随后指数从 22 改到 7

猜想的内容（据 PSI 研究页）：次数不高、取值在 0 到 1 之间的布尔立方体上的多项式，只要方差不算小，就一定有某个变量的影响不小。Aaronson 与 Ambainis 当年证明，它成立就意味着对随机输入的判定问题，量子查询算法最多只比经典算法快多项式倍。PSI 的结论是：存在一个变量，影响不小于 Var(f) 的 5/2 次方除以 d 的 6 次方再乘一个绝对常数；换回原来的写法，是 (ε/d) 的 7 次方。研究页开头宣称猜想已成为定理，并称它自 2008 年起悬而未决；arXiv 上的原论文首版提交于 2009-11-05，Aaronson 的博客也写是 2009 年提出。

论文作者栏只有 David Turturean，单位 Physical Superintelligence，日期 2026 年 11 月，没有 arXiv 号；Turturean 的 X 简介写 MIT ’26、Physics & AI，研究页给的职称是 Member of Technical Staff，Turturean 本人的发布帖同样写系统是自己为 PSI 做的；仓库的引用格式把它标为带 Lean 4 形式化的预印本。论文的 AI disclosure 写明：数学陈述由 AI 模型产生；Turturean 界定问题、在 PSI 内部开发研究 harness 并在 PSI 的基础设施上运行；运行用的是未公开的 Anthropic 模型（原文 non-public Anthropic model）的多个实例，负责检索已有想法、提出新想法、组合和测试、监督其他实例之间的沟通；论文初稿由 Turturean 让模型实例整理，由 Turturean 本人审改并对正确性负责。研究页的 Contributions 另写：Jim Halverson（Advisor）审核了证明，Phiala Shanahan（Advisor）对 Lean 形式化提了意见。模型名、版本、规模，PSI 的页面和论文都没有写；“Claude” 这个词出自 Aaronson 的博客，不是 PSI 的原文。

论文附录 A 给了一份发现时间线：运行早期，模型实例先从文献里调入 Reimer 的不等式与蝴蝶引理、Kahn–Saks–Smyth 的对偶不等式，并把它们的分数证书版本设为目标；第一份完整证明写于运行的第三天，并经 Lean 检查，给出的指数是 22；之后让模型用中间结果去推相关开放问题，对所有水平积分得到指数 11，再加上对坐标平均得到指数 7，两次都经 Lean 检查。这是论文自己的叙述，运行日志没有公开。Business Insider 概括为三天内证明，PSI 写的是第三天出现了完整证明，两者不完全相同。

Lean 方面，仓库 README称有 4 条最终定理：前 3 条无假设，第 4 条以 Agarwal 与 Ben-David 的一个未形式化定理为假设，结论是常数更好的版本。README 的“状态”写 Lean 部分完整、没有占位、没有新增公理，并经两个独立的 Lean 内核实现重新检查（“信任边界”一节列出 leanchecker 重放、lean4lean 和 Comparator）。本刊对仓库（GitHub 上只有 2026-11-06 的一个提交）做了静态检查：85 个 Lean 文件，库文件里 0 个 sorry，没有 axiom、native_decide 等声明；库文件目录里的 4 处 sorry 都在 Comparator 挑战模板里，与 README 一致；另有 verification/control 目录里几个刻意写错的对照文件（含 sorry 和一个 axiom，文件注释写明是让检查器拒绝的对照），不属于证明本身。本刊没有跑 Lean 构建、内核重放或 Comparator，所以“Lean 通过”在本档案里是仓库自述加源码静态检查。README 同时写明机器检查没有覆盖：陈述（Lean 命题是否就是猜想，留给读者自己确认）、论文本身（论文不是机器检查的）、以及 Lean 内核和 Mathlib 等基础。本刊没有独立核对这个命题与原猜想的对应。

§ 05 / 外部印证

有人读过、有人愿意担保，评审还没有

PSI 的研究页说，Guy Blanc、Jordan Docter、Carmen Strassle、Li-Yang Tan 在 2026-08 已用 arXiv:2608.19158（FOCS 2026）证明了猜想在“固定并行轮数”情形下的预测；这四人读了 PSI 的完整证明，发来意见，并在写一份给专家的更短阐述。这份阐述日期为 2026-11-07，32 页，作者栏是 Blanc（MIT）、Docter、Strassle、Tan（均为 Stanford）。PSI 研究页把四人都写成 Stanford，与阐述 PDF、Aaronson 的博客不一致，以 PDF 为准。阐述的 Authors’ note 写：证明由 Turturean 用 PSI 的研究系统加非公开 Anthropic 模型发现，之后分享给四位作者，四人理解后写了阐述；写作过程用了 Anthropic 的公开模型；四人没有收 Anthropic 或 PSI 的报酬；不打算投会议或期刊；为突出思路没有优化参数，指数比原稿弱。

Aaronson 在 2026-11-08 的博客写道：PSI 几周前就告知了 Aaronson，Aaronson 保密到发布；Aaronson 自己还没读懂证明，但相信它是对的，理由有两个：有 Lean 证书，以及人类专家已经读过并理解。Aaronson 也写，harness 与内部模型各自起了什么作用，Aaronson 不知道。博客没有说明 Aaronson 是否检查过 Lean 命题与猜想的对应。Aaronson 批评了把结果读成“量子优越性已死”的说法，指出它只排除对随机预言的判定问题这一类，对 Shor 算法和量子物理、化学模拟没有影响。

其他公开反应：Henry Yuen在 11-06 发帖欢迎这个问题被解决；Lance Fortnow在 11-08 写，无结构黑盒问题没有指数量子优势从 90 年代就已知，这个结果把它推到“只需对多数输入正确”的算法；Aram Harrow提醒结论限于查询复杂度；Ashley Montanaro批评了对结果含义的大量错误评论，Aaronson 则点名批评Pedro Domingos 的帖子（帖子写量子优越性的梦想已死）。Business Insider 的报道（11-07）写 “Anthropic did not respond to a request for comment”。本刊没有核到 Anthropic 的官方说法，也没有核到 PSI 与 Anthropic 之间的合作、访问或投资关系，官方页面没有写。

看谁在担保：Halverson 和 Shanahan 是 PSI 自己的 Advisor；Blanc 等四人是经 Aaronson 介绍而联系上的外部研究者，自称无报酬，但这份阐述是对 PSI 证明的复述，不是独立得出的另一份证明；Aaronson 的判断建立在 Lean 证书与专家已读上，这两项材料都由 PSI 提供。证明尚无期刊或会议评审，也没有 arXiv 版本。

§ 06 / 此前与此外

OQP 五个结果、开源 GPD，以及挂在组织下的一份物理常数预印本

OQP 批次的 5 个问题，据研究页的概述：OQP 2，Werner 态的三份拷贝在 1/d < α ≤ 37/80 时无法蒸馏出 Bell 对（任意多份拷贝仍开放）；OQP 12，质量标量场真空中两个有界区域，超过某个有限距离后无论取什么局部可观测量都不能违反 CHSH 不等式；OQP 27，CGLMP 不等式的最大违反由 Fourier 相位测量给出；OQP 38，任意 2(d−1) 个 PPT 映射足以打破纠缠，页面引用了一份 OpenAI 近期预印本报告 “两个一般不够”（链接来自 PSI 页面，本刊没有打开）；OQP 43，构造了一个无法用更大有限维可逆过程描述的因果过程。这些都是 PSI 的自述，本刊没有读论文，也没有核到领域专家的评论。研究页日期 10-23 与官方 X 公告 10-26 相差三天。

GPD 是 PSI 面向物理学者开放的 agent 工具，README 称它作为社区贡献发布，是目前唯一能被外部直接使用的 PSI 产物；它的星数和 release 记录见公开履历。官网没有收录它，也没有 Emmy 这类商业产品的页面，PSI 的商业产品和客户本刊没有核到一手说明。

chain-theory 仓库在 PSI 的 GitHub 组织下，README 作者栏署 A. D. Wissner-Gross 并留 Wissner-Gross 个人的邮箱与网站，没有提 PSI。摘要自述：从“只有有限个有限维系统的最大纠缠对”这一条公理出发，推出一个 α(0)（精细结构常数）的精确代数数候选，与 CODATA 2022 相差 0.6 个标准差，并明确写这只是猜想：这个数就是 α(0)；附带一份汇编，自称含 100 条定理、109 条条件定理、198 条开放结果，其中 64 条定理对应具名 Lean 声明，Lean 检查的是推导中用到的有限计算。这是个人预印本与自述分级，没有出现在 PSI 官网研究页上，本刊没有读论文，也没有核到外部评论。

§ 07 / 读法与局限

一项被机器检查过的证明，和一整套还没人检验的愿景

并列写的出入。猜想提出时间：PSI 页面与 X 写 2008，Aaronson 的博客与 arXiv 首版是 2009。Blanc 的单位：PSI 页面写 Stanford，阐述 PDF 与 Aaronson 写 MIT。证明用时：Business Insider 写三天内证明，PSI 写第三天出现完整证明。模型称呼：PSI 写 non-public Anthropic model，Aaronson 写 internal Claude model。公司名：Business Insider 写 Physical Superintelligence Inc.，官网与联合创始人写 PBC。Wissner-Gross 的职务：官网写 Chief Scientist and Chief of Strategy，个人站写 Founder and Chief Scientist。GPD 的许可：README 与 LICENSE 正文是 Apache-2.0，GitHub 的许可检测显示 Other。

这个证明被检查到什么程度。PSI 自述：Lean 内核接受，另有两套独立内核重放与 Comparator；本刊静态检查了源码但没有重跑。人读的一侧：Halverson 审核、Shanahan 看 Lean、Blanc 等四人写了阐述、Aaronson 称专家已读。没有覆盖的有：Lean 命题与原猜想的一致性（README 留给读者）、论文本身、同行评审、独立复现（模型非公开、harness 内部、无运行日志）。

自述数字。“25+” 人、$58M+、973 星以外的所有性能与时间线都是 PSI 的自述；愿景页的 scaling law 是假设；数据中心物理建模至今没有任何公开产物。研究页只有两条，GPD 之外没有可下载使用的东西。

本刊没有核到的有：公司注册信息与章程；成立日；融资轮次拆分与估值；25+ 人的名单与 Morari、Pines 等人的既往履历；模型名与规模；PSI 与 Anthropic 的关系和 Anthropic 的官方说法；Lean 内核重放；OQP 五篇论文的内容；chain-theory 与 PSI 的正式关系；招聘页内容。

看到“AI 证明了 X 猜想”，先问四件事：谁担保（这里是 PSI 自己的 Advisor 加外部研究者的阐述，Aaronson 称还没读懂，没有期刊或会议评审）；Lean 检查的是什么（证明被接受，不等于命题就是猜想，README 自己留给读者去核）；模型和 harness 各占多少（PSI 没披露模型名，Aaronson 也说不知道）；能不能复现（非公开模型加内部系统，目前不能）。这家团队值得追踪的是它是否继续在别的领域产出可核对的结果，以及官网写的物理建模商业路径会不会拿出第一个可检视的产物。

来源 / SOURCES

关系 每条写成一句话：主语 → 宾语，点开看证据

在 NEO LAB 档案里的位置 · 1

在本站哪里出现

同一方向的实验室 Agent 基建 · 在 NEO LAB 图谱里看

NeoCognitionE2BLettaNablaBrowser UseScaling TrustTinfoilNEAR AIMemTensorInherentStandard Physics

AI Buzzwords 里提到 共 1 期 · 按名称匹配，次数是正文里出现的次数

EP.111×15

数据