爱窝啦 AI 日报 AI 日报 2026/11/4：Anthropic 发布可验证推理来源的密码学证明技术
每日 AI 行业动态、产品更新、前沿研究、开源项目与社媒信号
今日摘要
Anthropic 发布 FlashProve 密码学验证技术，腾讯混元 Hyra 2.0 让智能体自主造出蛋白质设计等科研工具。
从模型身份核实到跨 APP 协作再到本地写作辅助，各方都在把 AI 能力嵌入具体工具链的关键节点。
开发者今天优先看 FlashProve 和 colibri 两项，前者影响安全架构，后者决定本地跑大模型的硬件门槛。🔥 今日焦点 TOP 10
1. Anthropic 发布可验证推理来源的密码学证明技术
推理来源可被数学证明。 Anthropic 官方推文介绍， FlashProve 基于成熟密码学技术 ，让开发者能验证某个响应是否真的来自指定 AI 模型。研究称其效率大幅优于现有开源方法。这套证明可用于防止攻击者劫持对话，也能让安全评估者核实模型身份。
2. 腾讯混元 Hyra 2.0 让 AI 智能体自主研发科研工具
AI 可以自己训练模型、修复芯片缺陷了。 腾讯团队报告的 Hyra 2.0 科研系统成果 ，采用三层智能体协作框架 Harness，把调试经验沉淀成可复用的标准化技能库。据团队介绍，已产出的工具包括蛋白质设计模型 HyInv，生成速度比行业常用工具快 57 倍；还有数学证明工作流 HyProver，团队称其完整证明了丘成桐圆周作用猜想。项目目前未开源。
3. Google 强绑定：学校禁 AI 将同时失去学生搜索功能
拒绝 AI 的学校，学生搜索也可能受影响。 《纽约时报》 报道 Google 的教育账户新安排 ：2027 年初起，K–12 学生账户默认关闭 AI 工具，但选择全面限制 AI 的学校将同时失去学生账户的 Google 搜索访问权。允许 AI 的学校可在两种模式中选择：保留 AI 概览的消费者版本，或 Gemini 学生引导学习版。洛杉矶学区此前希望保留搜索、关闭 AI 摘要；若按报道中的方案执行，学校就难以同时保留这两个选择。
4. OpenAI 用 GPT-6 Astra 一周内造出语音 Codex 原型机
AI 主导了外壳到软件的全链路设计。 据 OpenAI 用 GPT-6 Astra 一周内造出语音 Codex 原型机 ，两名团队成员与 GPT-6 Astra 协作，在一周内完成了支持语音交互的 Codex 原型设备设计，涵盖外壳、电路板布局、界面与软件开发。实际制造仍需多轮迭代审核，目前是原型展示阶段。
5. 讯飞星火 X2.6 实测：293B MoE 架构、1M 上下文窗口
国产算力训练的顶级规格模型来了。 掘金作者沉默王二的实测文章 显示，星火 X2.6 基于混合专家架构，总参数 293B，每 Token 激活 30B，上下文窗口达 1M，主打长程复杂任务、代码开发和 Agent 执行。作者用其完成了 ESP32 迷你钢琴实验台的完整嵌入式项目，称模型完全基于国产算力完成训练。这是个人测评记录，非第三方独立基准测试。
6. 苹果 App Intents 让第三方 APP 功能可接入 Siri AI
Siri 能跨 APP 完成任务了。 歸藏在即刻 转述了苹果的这项更新 ：开发者现在可以从 iOS 27.3 测试版起将自家 APP 功能暴露给 Siri AI 调用，并内置了一套 Skill 格式让 Siri 判断能力边界。跨 APP 场景举例：打车后让 Siri 改上车地点，或把一个购物软件里收藏的商品发给聊天软件的朋友。此前豆包在手机上的类似跨 APP 操作权限遭国内超级应用普遍拒绝，Siri 版本的开放将带来相似的博弈。
7. Open Typora 0.22.0 给本地 Markdown 加上 AI 跨文档审阅
本地写作工具拿到了可逐处确认的 AI 修改能力。 开发者 AniChikage 在 V2EX 帖子 中更新了 Open Typora 0.22.0 的进展：新增选区改写与差异预览、跨最多 4 份文档的批量修改计划、以及本地目录问答（答案可插入带脚注的 Markdown）。数字、日期、链接和代码默认受保护；AI 修改前会自动保留恢复点，重启后可跨批次查看。适合需要保持格式和术语一致性的技术写作者。
8. 射频感知眼镜把无声口型实时转成文字
不出声说话，眼镜能识别你在说什么。 The Subvocal Company（YC F26）在 Hacker News Show HN 中介绍了其智能眼镜原型：镜框天线发射射频信号，捕捉舌头、嘴唇、软腭运动并由模型解码成文字。演示中的新用户只做了20 句话的个人校准，跨用户面部结构差异仍是主要难题。团队计划 2027 年 Q1 交付首批 500 台，目前开放预订，属研发和预售阶段。
9. 国产模型与美国前沿差距或将肉眼可见地拉大
算力限制成为这篇讨论的焦点。 Diiiii 在即刻 转述了一篇中国 LLM 讨论纪要 ，核心判断有二：编程场景已基本开发完毕，下一个同等量级落地场景尚不明确；国产模型面临蒸馏难度、数据瓶颈和算力不足，而海外竞品在持续变强变便宜。文章还结合 Anthropic Q3 月收入增长趋势，质疑行业是否正处于加德纳曲线愚昧之巅。这是业内人士观点汇编，非官方数据。
10. 香港 AI 研究型实习招聘，方向包括 RSI 与推理加速
招 RSI 和 Personal Agent 方向的研究型实习生。 即刻用户五条年糕 发布了这则香港 AI 研究院招聘信息 ，方向涵盖语言模型推理加速与递归自我改进（RSI）。提供有竞争力薪酬、充足 GPU 和 Token 预算，实习生可独立牵头项目并主导一作论文。目前未公开所属机构名称，感兴趣的在港 PhD 及有相关项目经验者可通过原帖联系。
◎ 行业变化与个人影响
Ubuntu 三周未对外交付零日漏洞正式修复内核
RCE 零日漏洞补丁还在测试仓库，未进入普通更新渠道。 Freenode 文章
记录了 CVE-2026-98432 的修复进度
：Ubuntu 11 月 2 日官方说明显示，22.04、24.04、26.04 LTS 的修复内核已进入 -proposed 测试仓库，正在超过两千种认证服务器和设备上验证，通过后才进入普通更新渠道。26.10 已在 7.3.0-10.10 修复，较旧受支持版本仍待处理。漏洞官方确认可导致远程代码执行，且不局限于 MPTCP 路径，关闭 MPTCP 不是完整缓解措施。运维和服务器管理员现在可手动启用 -proposed 仓库提前测试补丁，或等待稳定渠道推送。
⌘ 开源 TOP 项目
JustVugg/colibri：消费级硬件上跑前沿 MoE 大模型
colibri 的分层推理引擎已公开核心代码 ，用 C 语言实现三级缓存调度：热专家常驻 GPU（支持 CUDA 和 Vulkan），温专家驻内存，冷专家从 NVMe 流式加载，降低模型对显存容量的依赖。今日新增 802 颗 Star，总计 47,247 颗。想利用现有硬件本地跑 MoE 模型的开发者，可以先核对项目支持的模型与硬件要求，再决定是否试用。
Usagi-org/ai-goofish-monitor：AI 智能监控闲鱼二手商品
ai-goofish-monitor 项目主页 显示，这是一套基于 Playwright 和 AI 的闲鱼多任务监控与智能分析系统，支持实时和定时抓取，配有完整后台管理 UI。今日新增 228 颗 Star，总计 16,365 颗。适合需要蹲守特定二手商品或批量比价的个人用户和小卖家，Python 栈，可按条件自定义监控规则。
◉ 社媒精选
AI 编程助手自我复盘效果：7 次测试只有 2 次真正奏效
让 AI 干完活后自己修改工作手册，实测远没有听起来那么美。 宝玉在推文中引用了新加坡管理大学与海德堡大学的
论文研究结果
：在 7 次有效测试中，只有 2 项改动彻底消除了目标问题，部分改动还导致 AI 在无关任务上做了多余检查。宝玉本人也坦言一直对这套"自我进化 Skill"持怀疑态度——没有清晰评判标准时，AI 很难自主优化好；完全依赖人工审核又成本不低。目前使用 /retro 或类似自我迭代 Skill 的开发者，可以参考这个数据降低期待值。
😄 AI趣闻
旧电脑装新棋引擎，赢了 78 局，输了 5 局
Nicholas Carlini 找来一台 1996 年的 Pentium Pro，塞进去的不是当年的软件，而是改写成 32 位版本的 Stockfish 17。对手是同款 Crafty 11.13，跑在现代新机上。 旧 Pentium 对战现代机器跑的旧引擎，打完 100 局的成绩单 ：78 胜、17 和、5 负。硬件三十年没动，赢的是算法。想拿电脑太旧当升级理由，先问问软件服不服。
❓ 相关问题
想让 Codex 帮我做语音交互原型，从哪里入手比较实际？
可以先试着用语音描述界面，让 Codex 生成一个可点击的草稿。 OpenAI 的原型实验 展示了 AI 负责外壳与界面布局，制造仍需人工迭代。想在 ChatGPT 里持续推进这类草稿的，已有账号可续 爱窝啦·AI账号店的 ChatGPT Plus 充值续费月卡 。