Super Intelligence 日报 · 2026 年 10 月 28 日 · 星期三
SI HOT
OpenAI 内部模型提出证伪 ETH 的算法，并公布 Lean 形式化证明
OpenAI 称其内部模型构造了针对固定宽度 CNF 布尔公式的确定性算法，可判断满足性并精确计数；对于子句数量与变量数量成比例的问题，运行时间界为 2^{O(n/√log n)}，略去多项式因子。
知乎专栏：机器之心原文 基础设施发布/更新
知乎专栏：量子位文心Unlimited OCR 2开源发布，百页级测试将KV缓存占用降低约96%
百度发布并开源文心Unlimited OCR 2，支持连续识别超长文档，并将百页级单序列测试的峰值KV缓存从47GB降至1.77GB。该版本引入稀疏参考滑动窗口注意力机制SR-SWA，通过Page Gate筛选相关页面，再由Token Sieve选择相关视觉信息块，以减少重复计算。
Google DeepMind：Blog一手Google DeepMind 发布实时交互世界模型 Genie 4
Google DeepMind 发布世界模型 Genie 4，主打实时交互模拟、更强照片级真实感，并首次在实时世界模型中原生生成音频，包括环境声和可实时交互的人物对话。
行业动态
SiliconANGLEMeta拟出售最高950亿美元股票，为AI基础设施建设融资
Meta Platforms Inc.宣布计划出售最高950亿美元股票，为数据中心项目融资，首轮交易规模为350亿美元，后续还将通过场内发行筹集最高600亿美元。相关资金将支持四个AI超级集群建设，其中路易斯安那州Hyperion园区预计提供5GW算力，Meta还将通过Blue Owl Capital和BlackRock参与的合作安排推进项目。
OpenAI 扩大与 Oracle 合作，将 Oracle 应用与数据接入 ChatGPT
OpenAI 宣布扩大与 Oracle 的合作，将 Oracle 应用和数据接入 ChatGPT，并用 OpenAI 模型驱动 Oracle 新产品。
Anthropic 拟以特殊治理结构抵御 IPO 后股东的安全施压
Anthropic 计划通过长期受益信托和 Founder LLC 等独特治理结构上市，在公开市场融资的同时防止股东迫使公司削弱安全投入。信托的五名投票受托人可通过 Class T 股票任命七名董事中的四席，七位创始人则以 Founder LLC 掌握 50.1% 投票权。法学专家认为法律层面可隔绝逐利压力，但市场竞争、融资需求和创始人离开都可能侵蚀这些保障。
教程与观点
PyTorch Blog一手ExecuTorch 如何在 Arm 边缘设备上优化流式语音识别
Arm 工程师使用 ExecuTorch 在 Google Pixel 11 上评估 Nemotron 3.5 流式 ASR，比较 FP16、QC8W、chunk size 与 SME2 对 WER 和延迟的影响。
LangChain 解析自研设计 agent Content Studio 并开源其 harness
LangChain 详解自家设计 agent Content Studio 如何在 Slack 中根据一条提示生成视频、幻灯片和社媒图等代码化资产，已累计产出超 3000 件资产、80 多套幻灯片，单次请求模型成本从约 $8 降至约 50 美分。