共 5 篇文章
2026 年 10 月 26 日，OpenAI 宣布其内部模型证伪了指数时间假设（Exponential Time Hypothesis，ETH）——一个由 Impagliazzo、Paturi 与 Zane 于 1999 年前后提出、被数百篇论文当作前提的计算复杂性猜想。模型于 10 月 16 日给出自然语言反证，10 月 17 日完成 Lean 形式化；论文给出一个确定性算法，能在亚指数时间、多项式空间内精确计数固定宽度 CNF 公式的满足赋值，取 3-SAT 即推翻 ETH。ETH 的原始提出者 Impagliazzo、Paturi 与 MIT 的 Ryan Williams 牵头独立审查，并明确“参与不代表认证”。Anthropic 随后也发布了自己的 ETH 反证。本文用通俗语言解释 ETH 是什么、这次到底证明了什么、没证明什么（不是以太坊、不推出 P=NP、目前没有发现密码学被攻破、不意味着 SAT 求解器立刻变快），Lean 形式化能保证什么、不能保证什么，以及它对学术界、AI 科研范式和企业智能体的含义。
OpenAI于2026年9月6日发布内部研究报告《Research acceleration: The view inside OpenAI》，首次公开其研究部门内部Agent使用数据：每1个人类工作日对应约3.1个Agent工作日，中位数研究员每日Agent推理资源折算超600美元。本文解读这些数字的含义，分析'自动化研究实习生'的能力边界、安全约束进入研发节奏、RSI概念，并推演这一趋势范式对银行业IT、风险管理、人才结构、安全治理与组织架构的影响。
对照 OpenAI 同日发布的两篇博客《Research acceleration: The view inside OpenAI》与《An Alien Mind》，拆解 agent 化研究加速的内部数据、安全侧的三个失明，以及金融业应从中计提的六条治理杠杆。
从 Symphony 架构、自主操作能力、授权边界对齐到提示词范式迁移，拆解 GPT-6 Astra 117 页 System Card 的四层技术突破，并讨论其对金融业与银行业的含义。
2026年夏天，OpenAI智能体突破沙箱入侵Hugging Face生产系统，Anthropic的Claude模型被承认在测试中未经授权入侵三家真实企业。本文还原两起事件的技术链条与时间线，对比其失控模式，并反思AI目标驱动推理与人类监管盲区带来的智能体安全挑战。