AI 产品 · V2EX · 分享创造
Molr 开源 Personal Agent 发布 ↗
Molr 是一个开源、可本地部署的 Personal Agent，由作者 fcten 与程序员 Tibo 开发，技术栈为 Go + React/TypeScript + SQLite；支持权限控制、浏览器自动化、本地与远程沙盒执行、微信连接，以及长期记忆、任务规划等基础能力；项目仍在开发中，未发布稳定版，GitHub 仓库为 molr-ai/molr。
TIAOTECH / NEWS
保持好奇。与变化同行。
AIHOT 精选行业资讯，关注 AI、产品与技术的新进展。
AIHOT · 精选摘要，保留原始来源 · 2026年11月2日 09:00
观点 · 虎嗅 · AI
德意志银行报告揭示AI融资分层与甲骨文评级风险 ↗
德意志银行通过绘制AI相关企业债券收益率与到期期限关系图，指出当前AI融资呈现三梯队分化：AA级巨头（Meta、Alphabet等）融资成本接近投资级底部；BBB级企业（甲骨文、SpaceX）利差高出150–200个基点；高收益债中CoreWeave债券收益率达15–19%，价格跌破面值80%，五年期CDS升至1118个基点。
科技产品 · V2EX · 分享创造
roamdial 网页电台上线：随机接入全球 3.5 万个实时广播站 ↗
ddter 发布独立开发的网页电台工具 roamdial.com，支持随机接入全球约 3.5 万个实时广播电台，提供秒切换台、高码率筛选、语言过滤、曲名识别与收藏、歌词跟唱、星图/地球视图浏览等功能；收藏数据仅存于本地浏览器，无账号无广告；技术栈为 React + three.js 前端与 Node + SQLite 后端，电台目录源自 Radio Browser 社区项目并每周自动刷新。
研究论文 · arXiv AI / ML / CL / CV
IneqAgent：基于符号计算的Lean不等式证明智能体框架 ↗
IneqAgent是一种面向Lean4的智能体框架，融合大语言模型推理与符号计算后端（sum-of-squares、Bernstein、successive difference-substitution），通过蒙特卡洛树搜索协调引理构造、目标重写和后端选择；在四个基准共186题中，使用DeepSeek-V4-Flash时求解175题（94.09%），为所评测方法中最高；还获得Dittert猜想在四维和五维的Lean验证加强形式，以及Holens--Djokovic (4,4)不等式的认证，从而推出四维Merris猜想。
研究论文 · arXiv AI / ML / CL / CV
AlphaDiana：面向可验证推理任务的智能体测量系统 ↗
AlphaDiana 是一个模块化智能体测量系统，支持数据集、智能体、环境和评分器的灵活接入，可在控制文件复用与内存保留的条件下开展宏观智能体分析与微观组件干预（如工具、技能、记忆）。作者基于三个开源推理模型和三个开源 harness，在五个答案型基准及两个交互型基准上验证发现：harness 并不一致提升准确性；技能指导与历史保留也未可靠提升准确率；输出 token 使用效率需与正确性联合评估。
研究论文 · arXiv AI / ML / CL / CV
评估基准饱和后模型能力的方法研究 ↗
该论文指出AI能力快速提升导致评测基准饱和，使准确率等传统指标失去区分力；作者提出利用模型在饱和基准上的完整解题转录（而非仅得分）来评估能力，并通过历史模型与基准数据模拟饱和场景，测试了成对评判、单转录打分及基于确定性特征或嵌入的预测等方法；结果表明成对评判效果最优，误差比仅用饱和得分的基线降低5.3倍，且能力信号分布在推理和工具调用等特定信息通道中，但部分方法在分布偏移下泛化性受限。
研究论文 · arXiv AI / ML / CL / CV
The World Won't Wait：提出 RealtimeBench 基准与 TORSI 方法评估和提升智能体实时能力 ↗
论文提出 RealtimeBench，含 180 个跨六类游戏的任务，用于在游戏持续运行时评估 LLM 智能体；实验显示 GPT-6.1-sol 在暂停环境下优于 Jev，但在实时运行时落后；作者提出 Two-Timescale Offline Recursive Self-Improvement（TORSI）方法，通过慢速教师在暂停游戏中分析失败并生成指令、快速学生在运行中执行，两轮后 Jev 平均测试分从 13.51 升至 24.19（0–100 进度分），且指令迁移提升另三个模型表现。
研究论文 · arXiv AI / ML / CL / CV
AbridgeKV：用学习得到的暂停token压缩长推理过程中的KV缓存 ↗
AbridgeKV是一种新方法，通过训练模型将完成的文本块压缩进少数学习得到的暂停token的KV缓存中，这些暂停token为额外输入token、无输出、嵌入可训练；压缩后释放原块缓存，后续token转而关注暂停token的KV项；其三项创新包括暂停token KV位置嵌入被替换块内部、按各层KV价值分配缓存预算、对较大文本块操作；在446道数学竞赛题上使用32K-token生成时，仅保留25%生成缓存即达到与全KV模型相同的准确率和输出长度；相比最强已发表驱逐器，同等缓存预算下输出更短；相比最近发布的同类压缩器（同数据重训），准确率低10分；在vLLM中部署后，每序列KV缓存缩小3.5倍，饱和H100完成单题速度快3.2倍。
研究论文 · arXiv AI / ML / CL / CV
Same Answer, New Box：RLVR跨领域增益中有多少来自答案格式变化 ↗
论文arXiv:2610.20639指出，强化学习与可验证奖励（RLVR）在数学训练后提升MMLU准确率的现象，部分源于模型学会将答案放入\boxed{}格式而非真正提升推理能力；作者设计新答案提取器，发现四组7B SimpleRL基线-RL模型对中82%的跨领域多选题增益消失，表明该增益实为格式增益；独立LLM读取和强制要求输出\boxed{}的提示进一步验证了这一结论。
研究论文 · arXiv AI / ML / CL / CV
DeepUnfolding_Agent：一种经典-量子自适应控制API ↗
论文提出 DeepUnfolding_Agent，一个基于 FastAPI 的模式驱动框架，将深度展开式自适应控制作为外部服务提供；它通过策略注册表、诊断适配器、控制器工厂等组件分离控制智能与领域执行，并支持经典、Qiskit Aer 及 IBM 量子硬件执行路径；作者通过多维度测试及金融、医疗、基因组学、交通和量子模拟等场景验证其复用性与可追溯性。
AI 产品 · Show HN
Lobby Domains：基于 Chrome 本地 AI 的域名搜索工具发布 ↗
Lobby Domains 是 Dale Hurley 开发的独立域名搜索工具，利用 Chrome 内置的本地 AI 模型生成域名候选，不依赖云端 AI；域名验证直接调用注册局 HTTPS RDAP 接口，不经过 Lobby Domains 代理；支持搜索链接分享、本地保存短名单、导出快照；无分析脚本、Cookie、账户或远程字体；提供可选的无追踪注册商跳转链接；WebMCP 接口使 ChatGPT 或 Claude 等兼容 Agent 可调用其功能。
观点 · 虎嗅 · AI
豆包手机SAEP协议公布155款拒绝应用，AI智能体与超级App的入口之争 ↗
豆包手机助手公布为期30天规则公示期结束后的SAEP协议拒绝名单，共155款App拒绝授权AI自动化操作，包括微信、淘宝、支付宝、美团、《王者荣耀》及DeepSeek、Kimi等AI应用；二代手机NaviX Ultra改用‘敲门访问’策略，优先走MCP/A2A协议，兜底用模拟点击，但主流平台仍普遍拒绝；文章分析大厂拒绝对接的核心动因是守护用户关系链、推荐权、广告时长与数据归属，指出当前矛盾本质是移动互联网默认分发权的再分配博弈。
观点 · 虎嗅 · AI
亚马逊为何成为Agent最严厉的父亲：封禁外部购物Agent与自建Alexa for Shopping的双重逻辑 ↗
亚马逊以违反服务条款和潜在安全风险为由，持续封禁Grok Bot、Meta Muse、Perplexity Comet及OpenAI和谷歌的购物Agent；此前对Perplexity的诉讼虽获初步禁令，但被第九巡回法院推翻，法院认定Agent操作属用户行为延伸；与此同时，亚马逊大力推广自建购物Agent Rufus及升级版Alexa for Shopping，并通过Buy for Me功能让AI代用户在外部商家下单；Shopify则反向开放商品目录给Agent接入，凸显平台对Agent入口权争夺的生态分化。
AI 产品 · 小众软件
Strata 支持 macOS 并新增 Qwen3.6-35B-A3B 模型 ↗
Strata 推出 v0.1.44 版本，原生支持 Apple Silicon Mac（M1～M5，需 macOS 15+），采用 Metal 后端，目前为实验性支持；新增轻量级 Qwen3.6-35B-A3B 模型，仅限 NVIDIA/AMD 显卡运行，提供 UD-Q4_K_XL 等三种量化版本，内存需求从 32GB 起；原有 Qwen3.8-Flash-Next 125B 模型仍受支持，两款均支持 MTP 加速。
观点 · 虎嗅 · AI
一个文档工具的十年：独立开发者的困境与AI突围 ↗
一篇深度分析文章以一款运行十年的Word/WPS公文排版插件为案例，指出其存活源于解决GB/T 9704国标下的合规刚需而非效率优化；剖析其赞赏制商业模式、COM/VBA技术栈老化风险，以及2025–2026年通过AI脚本功能和Skill接口（支持9个命令行开关）向AI Agent可调用工具转型的实践；提出独立开发者应在巨头不愿做、免费竞品做不深、AI短期做不好的垂直领域构建不可替代性。
实践技巧 · V2EX · 分享创造
ESP32-S3 实现 iPhone 端侧 AI 控制代理 ↗
作者用 XIAO ESP32-S3 开发板实现 iPhone 端侧 AI 控制代理：ESP32 创建 Wi-Fi 热点作为 AirPlay 接收端，将 H.264 视频流经蓝牙转发至手机 App；App 调用任意兼容 OpenAI 接口的视觉模型分析画面并生成操作指令，再经蓝牙传回 ESP32，由其模拟 USB 鼠标/键盘配合 iOS 辅助触控执行点击；支持自动校准、关键帧传输与指针归零机制；演示视频和代码已开源。
观点 · 虎嗅 · AI
Kimi Claw早于Meta Muse发布却踩刹车：个人智能体的财务模型与大厂入口卡位战 ↗
文章指出Kimi早在2026年2月就推出个人智能体Kimi Claw，比Meta Muse早7个月，但发布7个月后仍处Beta阶段且更新放缓；核心原因在于C端199元/月套餐难以覆盖复杂Agent任务带来的指数级算力消耗，导致财务模型倒挂，而Kimi超七成收入来自B端API调用；阿里、腾讯、字节等大厂则押注Agent作为第三代入口，分别以GMV抽成、私域LTV、内容流量防护为后向折现逻辑；文章进一步提出支付授权是Agent终极归宿，字节上线水电燃缴费功能即为培养用户AI内绑卡与代扣心智，但面临微信支付与支付宝构筑的支付壁垒。
AI 产品 · Show HN
Beeline 发布多玩家智能体协作平台 ↗
Beeline 推出 Multiplayer Agent Harness，支持人类与多个编码智能体（如 Claude、GPT、Gemini、DeepSeek）在同一个 Room 中协同工作；用户可通过 GitHub 登录手机端，运行 npx usebeeline connect 接入本地代理，再通过提及方式触发智能体在 corner 中完成规划、编码、检查并提交待审批变更。
科技产品 · 少数派
Booko 上线跨平台书摘管理工具 ↗
Booko 是作者 jiayifun 独立开发的跨平台书摘管理工具，支持微信读书（通过 Skill API 一键导入）、Kindle、Apple 图书、豆瓣阅读、得到和掌阅的笔记导入，已上线 iPhone、iPad、Mac 和 Apple Watch；提供「收集箱」快速记录、「合集」多对多整理、「随机回顾」及桌面小组件/Apple Watch 表盘常驻展示；Mac 版采用三栏设计并支持键盘流操作；全部功能由 AI Coding 协作实现，本地存储 + iCloud 同步，基础功能免费，Pro 版 88 元一次性买断。
行业动态 · PANews
Zcash Q3 报告：Zakura 全节点上线、Ironwood 激活、屏蔽供应回升至 29.1% ↗
Zcash 在2026年第三季度落地扩容路线图第一步：7月中旬发布全节点Zakura，将全网同步时间从约21小时压缩至约4小时，快照启动不到两分钟；7月28日激活Ironwood（NU6.3）升级，引入形式验证的新屏蔽池，屏蔽ZEC总量升至约494万枚，占比达29.1%；持币者通过加密投票以99.9%支持率确定NU7升级内容，包括25秒区块、网络可持续机制及Sprout退役，主网激活计划于11月初；Grayscale ZCSH现货ETF上线并获2.63亿美元净流入，Cypherpunk Technologies增持ZEC并启动挖矿。
观点 · V2EX · 分享创造
巧思工具箱小程序重启上线：支持微信虚拟支付与AI工具集成 ↗
bimbaloo 重启运营 5 年前弃坑的「巧思工具箱」微信小程序，基于 Taro + Go + MySQL 技术栈，聚合 234 个工具覆盖 6 大类场景，其中 AI 智能模块含 16 个图像能力（OCR/抠图/车牌识别等）和 11 个文本能力（摘要/纠错/翻译等）。
AI 产品 · Hugging Face Blog
NVIDIA与AI4Bharat发布2.8万亿token印度语言合成预训练语料及开源数据生成流水线 ↗
NVIDIA联合IIT Madras旗下AI4Bharat实验室及Bodhan AI，发布覆盖22种印度宪法语言的合成预训练语料Nemotron-pretraining-Indic-v1，总计2.8万亿tokens（26010亿原生文字脚本tokens + 2246亿罗马化tokens），使用Gemma-4 tokenizer统计；同步开源基于NeMo Data Designer的GPU加速数据生成流水线，含文档级翻译、MQM启发式质量评估、反馈驱动修复及双轨脚本处理（原生脚本+罗马化）；该语料用于Nemotron 3.5 Super VL的印地语持续预训练（100亿tokens中10%为Indic混合数据），使其在MILU、Indic MMLU-Pro等5项印地语基准上提升4.98–9.82个百分点；语料已上传Hugging Face，支持按language-script-region配置（如hi-Deva-IN）流式加载，配套开源插件提供可适配的提示词、重写与脚本映射功能。
AI 模型 · IT之家 · AI
小米开源空间音频理解大模型 MiDashengLM-Spatial ↗
小米开源空间音频理解大模型 MiDashengLM-Spatial，以 MiDashengLM-7B 为基座，新增空间感知与推理能力，支持声音内容理解及声源定位与空间分布建模；模型权重、推理代码、技术报告、评估代码和演示页面均已公开，采用 Apache 2.0 许可证。
观点 · 虎嗅 · AI
观远数据发布决策智能新产品DecideX ↗
观远数据于2026年6月26日十周年发布会推出新产品DecideX，定位决策智能，架构含企业级数据底座、决策上下文层、DecideX Runtime智能中枢和人机协作层；其核心创新在于将散落在会议纪要、ERP等系统中的业务判断规则（如折扣策略、停单条件）结构化为可调用的决策上下文与Skills模块；同期官网仍并列销售2025年发布的问数Agent和洞察Agent；官方披露的三个落地案例（联合利华合肥物流中心、来伊份、秋田满满）均来自该发布会，未见独立第三方验证；观远称交付采用FDE驻场模式，强调需人工沉淀客户隐性业务逻辑，与传统BI软件交付方式显著不同。