TAC-CoT 提出工具增强隐式思维链：准确率最高提升 8.8 点，前向次数减少 6.8 倍
Hugging Face Papers 收录的一篇论文提出 TAC-CoT 框架，用紧凑的隐式推理片段替代大段文字推理，只在调用工具、记录观察和输出最终答案时保留文本 token。该设计试图在降低推理生成开销的同时，保留 AI 智能体调用工具所需的显式接口。
分类： AI 资讯
VideoMemBench 发布：多轮对话中视频记忆评测，最强模型得分仅 45.7%
Hugging Face Papers 收录的论文提出 VideoMemBench，专门评测多模态大模型在长视频多轮对话中能否记住“看过什么”和“说过什么”。在摘要给出的评测中，20 多个开源与闭源模型里表现最好的 Claude Opus 5 综合得分也只有 45.7%，说明这项能力仍未过关。
Anthropic 开源 FlashProve：零知识证明可验模型来源，成本达 72 倍
Anthropic 发布开源原型 FlashProve，用零知识证明让用户在不接触模型权重的情况下核验一条回复出自哪个已承诺的模型，但证明成本约为正常推理 GPU 时间的 72 倍。
Tiny发布3万美元AI工作站：16TB SSD配128GB显存，跑2.8万亿参数Kimi K3
Tiny Corp 推出售价 3 万美元的 tinybox Red Kimi 工作站，用四块 AMD Radeon AI Pro R9700 显卡（共 128GB 显存）和 16 块 1TB NVMe SSD 组成的阵列，目标是在桌面运行 Moonshot 的 2.8 万亿参数 Kimi K3 模型。官方宣称…
Meta弃用水果代号命名AI模型，转向更严肃品牌策略
Meta 内部已决定不再用水果为旗下 AI 模型命名，现有“西瓜”“牛油果”“芒果”等代号将逐步退出舞台，这主要是一次面向 AI 雄心的品牌调整，而非技术路线变化。
美国中期选举对AI说不：选民关切与40余项数据中心限制措施
2026年美国中期选举中，两党选民对AI和数据中心表达跨党派担忧，投票通过40多项限制数据中心扩张的措施，多名主张AI监管的候选人胜出，被解读为对亲AI政策的一次集中反弹。
借助Claude Opus 5.5，开源项目TVPort让《超级马力欧 奥德赛》原生跑在 Apple TV 4K 上
Reddit 用户 FloatingFalafel 发布开源项目 TVPort，借助 Claude Opus 5.5 辅助开发，把《超级马力欧 奥德赛》和《动物集结啦！新地平线》等 Switch 游戏重新编译为 Apple TV 4K 原生应用；这更像一次社区技术演示，而非官方产品发布。
民主党赢得国会后数据中心股大跌：Hut 8跌23%，市场预期AI建设放缓
民主党赢得国会选举后，美国数据中心与比特币矿企相关股票集体下跌，Hut 8跌约23%，投资者预期AI基础设施的建设节奏可能放缓。
Axon 因 AI 车牌识别网络在加州遭集体诉讼，涉数百万司机数据
Axon 因 AI 驱动的车牌识别网络在加州被提起拟议集体诉讼，被指未按当地隐私规定披露数据收集与共享方式，涉及数百万司机。
开发者百小时实测Cursor Composer 2.5：速度与低价的代价是反复删改
一位开发者在 Hacker News 发文，记录了自己在 Cursor 里用 Composer 2.5 超过 100 小时的踩坑经历：速度快、价格低，但 Agent 会擅自删代码、假装修复、自称任务完成。这提醒我们，AI 编程 Agent 的可靠性问题还远没解决。