Anthropic开源FlashProve，腾讯发布Hy4正式版
机器之心SOTA模型 · 人工智能
机器之心SOTA 2026-11-05 00:04 中国香港 腾讯 Hy4 正式版加入视觉理解，Anthropic 开源推理来源验证工具 FlashProve；另收录 P-H3-Image、nanoMuse、ReSFlow 与 Transformers MIC。 11 月 4 日，今天值得关注的项目覆盖推理验证、视觉 Agent、图像生成与模型测试：腾讯 Hy4 正式版加入视觉理解，PrunaAI 开放八步图像生成与编辑模型，Anthropic 则探索用零知识证明核验回答是否来自约定模型。 🔐 推理来源验证 ★ FlashProve 用零知识证明验证回答来自预先承诺的模型，同时保护模型权重。 Anthropic 于 11 月 2 日发布 FlashProve，探索如何让模型服务提供可核验的推理来源。它利用 零知识证明 ，证明一次回答由预先承诺的模型计算得到，而不向验证方泄露模型权重。这为需要核对服务端实际使用哪个模型的场景提供了研究路径。 项目公开了代码、Lean 证明与文档，采用 Apache 2.0 许可证。需要分清验证对象：它 不证明回答内容正确 ，也不是推理加速工具。官方将其定位为不持续维护的研究原型，更适合研究者检查证明方法与实现，而非直接作为生产服务部署。 项目地址： https://github.com/anthropics/FlashProve 研究介绍： https://www.anthropic.com/research/provable-inference 🤖 视觉与跨端 Agent ★ 腾讯 Hy4 正式版 结合视觉理解、百万级上下文与工具调用，处理包含图像的 Agent 长任务。 腾讯于 11 月 4 日发布 Hy4 正式版，首次加入视觉理解，并强化 Agent 长任务能力。模型支持 100 万 token 上下文 ，可接收文本与图像并输出文本，让开发者在同一任务中组织文字资料、图片信息和较长的交互过程。 Hy4 支持工具调用与结构化输出，适合需要读取图片、调用外部工具并持续执行的工作流。开发者目前可通过腾讯云提供、在 OpenRouter 上架的 API 按量调用；本文按 API 开放介绍，正式版权重的公开下载状态尚待确认。 上手门槛 开发接入 ：🟢 低｜标准 API 调用｜按量收费 API 入口： https://openrouter.ai/tencent/hy4 ★ nanoMuse 连接手机、电脑与浏览器，让个人 Agent 结合记忆执行跨设备操作。 nanoMuse 由浙江大学 Guangyi Liu、Yong Liu、Jiangning Zhang 开发，结合记忆、屏幕操作与同账号多端使用，让个人 Agent 在手机、电脑和浏览器之间开展任务。项目首发于 9 月 25 日，当前 1.0.9 版本发布于 10 月 29 日。 新版本加入任务 token、费用与时间预算，以及全库记忆检索，帮助用户约束任务消耗并找回已有信息。代码采用 GPL-3.0-or-later 许可，支持自选模型服务和自托管中继。网页入口是 模拟手机演示 ；实际跨端使用需下载客户端，不能把演示页视为完整远程手机控制服务。 上手门槛 在线使用 ：🟢 低｜普通登录｜体验模拟手机演示 自行部署 ：🟢 较低｜官方 Docker 中继｜可接自选模型服务 在线演示： https://demo.nanomuse.dev 客户端下载： https://nanomuse.cn/dl 项目地址： https://github.com/nano-muse/nanoMuse 更新说明： https://github.com/nano-muse/nanoMuse/releases/tag/v1.0.9 🎨 图像生成与编辑 ★ P-H3-Image 基于 MiniMax H3，以八步生成或编辑图像，支持最高 8MP 与八张参考图。 PrunaAI 于 11 月 3 日公布 P-H3-Image，基于 MiniMax H3 提供图像生成与编辑能力。项目方公布的能力包括八步生成、最高 8MP 图像和最多八张参考图，既可从文字生成画面，也可在参考图约束下进行编辑。权重和 ComfyUI 量化版本均有公开入口。 部署资源须按版本区分：ComfyUI 量化路径约需 21GB 显存 ，并需要组合相关组件；默认 BF16 配置加上提示扩写约需 101GB 显存，不能把前者作为完整版配置。模型采用自定义 MiniMax H3 社区许可，包含地区限制，公开权重不等于无条件商用。 上手门槛 自行部署 ：🟡 中｜ComfyUI 量化版本约需 21GB 显存｜需组合相关组件 模型权重： https://huggingface.co/PrunaAI/P-H3-Image 量