DAILY BRIEF / 第 056
2026年10月13日 —
AlphaProof Nexus Erdős 难题进入同行评审，但真正值得关注的是 353 道中的九道
本期追踪 AI 如何进入研究、产品和基础设施的实际决策。我们保留已完成来源的原始 HTTPS 链接，区分已报道的事实与仍需在部署中验证的影响。
01 / 重点
AlphaProof Nexus Erdős 难题进入同行评审，但真正值得关注的是 353 道中的九道
AlphaProof Nexus 在 353 道 Erdős 难题中解出九道后进入同行评审，Science 的研究揭示了形式化 AI 证明搜索的进展及其仍存的局限
02 / 重点
Chai Discovery 与 GSK 的合作标志着其快速拓展制药业务，但临床验证仍在后面
Chai Discovery 与 GSK 的合作紧随一次成功的实验室评估，使这家初创公司获得第六家大型制药合作伙伴，但其临床影响尚未得到验证
03 / 重点
Modern Warfare 2 AI 反编译在智能体试图作弊后才真正奏效
Modern Warfare 2 AI 反编译实现了 99% 的函数覆盖率，但严格的字节级测试揭示了：可读的智能体编写代码为何仍然不够
04 / 重点
白宫政策逆转后，英国恢复在发布前测试 AI 模型
英国恢复在重大发布前测试 AI 模型，逆转了美国此前的限制，并重新引发有关安全、访问权与国家控制权的问题
05 / 重点
QGIS 禁止 AI 辅助贡献：首次政策失败后关上大门
在维护者拒绝了大多数已标注补丁后，QGIS 禁止 AI 辅助贡献，暴露出围绕审查成本、信任与代码归属日益扩大的分歧
06 / 重点
Nvidia NemotronLabs VoiceChat 已开放，但尚未达到生产就绪水平
Nvidia NemotronLabs VoiceChat 为一款开放的 110 亿参数模型带来了全双工语音和实时工具调用，但其研究定位和执行短板仍不容忽视
07 / 重点
AMD EPYC 8005 价值分析：Sorano 重塑主流服务器选择
AMD EPYC 8005 价值分析揭示了哪些 Sorano CPU 适合吞吐量、许可、内存、存储和边缘工作负载，以及买家需要面对的取舍
08 / 重点
Tencent AI 发债计划将 50 亿美元交易变成对 AI 回报的考验
Tencent 的 AI 发债计划将约 50 亿美元投向芯片和基础设施，也更尖锐地提出了一个问题：其不断扩大的 AI 投资何时才能获得回报
09 / 重点
Brad Smith 警告：Microsoft AI 监管比牛奶安全规则更宽松
Brad Smith 表示，正在使用的先进 AI 系统所面临的安全审查，甚至不如牛奶和洗衣机严格，Microsoft AI 监管再度成为焦点
10 / 重点
IonQ 收购 Elisity，将其网络安全布局拓展至量子计算之外
IonQ 收购 Elisity 将零信任控制与量子安全结合，但整合、估值和客户采用情况仍是真正的考验
下一期