AI 系统三天证明量子计算猜想,Jack Clark 直言奇点已现雏形
_arohan_ · x · 2026-11-12
Jack Clark 在 Import AI 480 期报道了两件标志性进展,a16z 的 Arohi 也转发了其中「分布式算力岛上做前沿训练、甚至可能在太空」的讨论:
- AI 攻克量子计算猜想:AI for Science 初创公司 Physical Superintelligence(PSI)用内部研发系统(运行一个非公开的 Anthropic 模型)证明了 Scott Aaronson 与 Andris Ambainus 自 2008 年悬置的猜想——即量子计算机何时能相对经典计算机获得指数级加速。系统在运行第三天产出完整证明,形式化验证工具 Lean 逐步校验通过;随后系统继续攻克相关开放问题,并两次改进证明结果,均获 Lean 接受。
- 奇点论调:Clark 重申其在 IMF 演讲中的判断——「奇点」是科技进步速度超过人类消化理解能力的时期,自动化的合成研究人员正在成为常态,从「惊人」变为「不足为奇」。
「漫话AGI」频道最新
- repligate 炮轰 bio-anchors 报告：外部视角式预测是死路 — JacquesThibs · 2026-11-12
- 学界做 AI 安全研究：免受特定信念约束的另类选择 — xuanalogue · 2026-11-12
- 数据飞轮是假的?研究者:只有模型失败的部署数据才有价值 — chris_j_paxton · 2026-11-12
- 80,000 Hours 文章引热议：学术界的 AI 安全研究不必持有特定信念 — xuanalogue · 2026-11-12
- Axiom Math 形式化验证发现有限单群分类证明路径存在反例 — jiqizhixin · 2026-11-12
- KOL 质疑「人需要工作才有意义」：存在为何要用经济正当性辩护 — VraserX · 2026-11-12