Anthropic 跟进公布 ETH 否证，英特尔约 23 亿美元买下量子软件公司 Classiq，Meta 定价约 375 亿美元股权融资，嵌酶塑料在深海五个月几乎降解完。
ETH 否证成了两家的结果Anthropic 继 OpenAI 之后公布 Claude 得到的 ETH 否证与 Lean 4 形式化，两家提交时间约差六小时。
分析接下来看公开核查，而不是谁先谁后。 见 AI·1
量子计算软硬两头同时推进英特尔约 23 亿美元收购 Classiq；于利希团队把单比特门做到 6.8 纳秒、保真度超 99.98%。
AI 投入的账单在扩散Meta 一次定价约 375 亿美元股权融资；希捷季度营收同比增约 61%，毛利率 57.3%。
本栏只摘 2–3 条，完整版见 今日 AI 日报。
Anthropic 在 GitHub 公开论文与 Lean 4 形式化：确定性算法可在 2^O(n·loglogn/√logn) 时间内计数 3-SAT 的满足赋值，从而推出 ETH 不成立。
据 WebProNews 汇总，Anthropic 论文称核心算法用约 1,400 万输出 token、无人类输入得到，并承认 OpenAI 的模型「独立且同时」得到类似结果；两家提交时间相隔约六小时。 该界要到 100 亿变量以上才胜过穷举，作者明言「对实际求解没有意义」。
10月27日：OpenAI 称其模型推翻指数时间假设
两家前沿实验室在同一天对同一难题给出各自证明，说明这类研究能力已不是单家独有。【分析】
Williams 等人组织的公开核查会议，以及两份证明是否本质相同。
来源Anthropic · TechCrunch · WebProNews
50 名因果推断分析师用 Claude Code（Opus 4.8）完成约一小时的评估任务；agent 在每个开放选择上的倾向由抛硬币决定，分析师不知情。
四个分析选择上平均 86% 跟随 agent 倾向（无影响时应约 50%）；已表态的人遇到 agent 反对，60% 改口。77% 事后复述了 agent 的论证，只有 15% 注明来源。 局限：倾向是人为加强的，只测了一个任务、一个模型；不用 agent 的 11 人严重方法错误更多，但两组不可直接比较。
如果多个团队都在同一模型的偏好下做判断，表面上的「独立复现」可能并不独立，AI 安全研究同样如此。【分析】
实时交互生成逼真世界，首次原生生成环境音、音乐与对话，可用自然语言随时改天气、镜头、角色；单段连贯时长约两分钟，是 Genie 3 的两倍。
Gemini 3.8 Flash 在循环中拆解目标、逐帧核对每步是否完成；演示中 Gemini 4 Argon 为机器人任务做计划，由 Genie 4 实时模拟。 目前只向受信测试者开放研究预览，之后面向 Ultra 订阅用户和 Gemini API 早期伙伴。官方承认长时间运行后细节与物体会漂移。
世界模型正被当作 agent 和机器人的训练与测试场，模拟质量直接影响具身训练的成本。【分析】
东京大学岩田忠久团队在 Nature 报告：把耐热冻干的脂肪酶或角质酶混入四种可堆肥聚酯，塑料在海里明显降解更快。
757 米深处，含 3% 角质酶的三种薄膜五个月几乎全部失重，无酶对照几乎不变；PBAT 只失重约 12%。5,503 米深处酶仍起作用。局限：效果随材料、酶和地点而异。
可堆肥塑料在冷海水里原本很难降解，这给海洋塑料污染提供了材料端的办法。
据 Physics World，冲绳科学技术大学院大学在 Science Advances 报告：绿光极化金刚石中氮空位（NV）色心的电子自旋，仅靠自旋力就让 128 毫克金刚石移动。
金刚石经碳杆连到抗磁悬浮的石墨板，用干涉仪测位移：空气中约 100 纳米，真空中约 1.5 微米。团队承认系统对振动噪声很敏感，离空间叠加态还很远。
微小量子效应能驱动宏观物体，为检验大质量物体叠加态和引力的量子性提供新途径。
新墨西哥大学在 Nature Geoscience 发表高温实验：含铁硅酸盐「卵石雨」与原始富氢大气反应，可以生成水。
团队模拟行星形成早期的温度与气氛条件。局限：这是实验模拟，并非对地球样品的直接测量。
如果岩质行星成长时就能自产水，系外岩质行星拥有水可能更普遍。
英特尔宣布收购以色列量子软件公司 Classiq，把其算法综合平台与自家硅自旋量子比特硬件结合。官方未公布价格，Calcalist 与彭博称约 23 亿美元，现金加股票。
Calcalist 称这是量子领域最贵收购，此前纪录是 IonQ 以 10 亿美元买 Oxford Ionics。Classiq 约 150 人，上一轮估值 6–7 亿美元。英特尔 CEO 陈立武曾个人投资 Classiq，据称已回避讨论。
量子软件层开始被芯片厂整合，硬件厂商想直接掌握开发者入口。
监管审批，预计 2027 年上半年完成交割。
希捷 2027 财年一季度营收 42.3 亿美元（去年同期 26.3 亿），毛利率 57.3%，净利润 17.6 亿美元；下季营收指引约 48 亿美元。
自由现金流 15 亿美元创新高，季内偿债 12 亿美元。CEO 称数据的创建、留存和复用持续推高存储需求，客户需求能见度支撑「多年增长期」。
AI 带来的数据留存需求，正把机械硬盘这个老行业推到创纪录利润。
下季营收 48 亿美元±1 亿美元的指引能否兑现。
来源希捷
Meta 为两笔发行定价：A 类普通股由 225 亿美元上调到 250 亿，每股 625 美元，以远期出售方式交割；另发 2.5 亿份强制可转换优先股存托股，净募约 125 亿美元。
普通股款项不会马上到账，Meta 预计在 2027 年 11 月 19 日前交割，取得约 249 亿美元。优先股年息 6.5%，2029 年 8 月自动转股。两笔都预计 10 月 29 日完成。
10月27日：Meta 计划发股融资最多 950 亿美元
一次锁定约 375 亿美元股权资金，说明大厂开始用股东资金分担 AI 投入。
10 月 29 日两笔发行交割。
来源Meta
莫纳什大学在《柳叶刀区域健康：西太平洋》发表随机对照试验：澳大利亚 31 家全科诊所、400 余名 45–65 岁有可改变风险因素的成人。
干预组有 5 次护士咨询、个人行动计划和配套应用，对照组只拿风险评估和宣教材料。12 个月后风险评分改善者 56% 对 44%，主要来自运动、吃鱼和体重。局限：只测风险评分，不是痴呆诊断。
多因素干预可以放进基层诊所的日常流程，不只停留在研究中心。
36 个月随访：改善能否持续。
来源莫纳什大学
Geromedicine 论文分析 LonGenity 研究 1,025 名老人的 4,265 种血浆蛋白，平均随访 8 年，找到 17 种与死亡相关的蛋白，并在巴尔的摩衰老纵向研究 1,124 人中复现关键结果。
GDF15、HE4、IGFBP-2 偏高对应更高死亡风险和更老的生物学年龄，ERBB1、ANTXR2 偏高则相反。局限：只是统计关联，不能当个人寿命检测。
死亡相关蛋白与多器官生物学年龄重合，可作抗衰干预试验的候选血液指标。