开源动态7

腾讯混元Hy4支持操作电脑并计划开源

甲子光年2026-11-04

AI 摘要

腾讯发布混元Hy4正式版，首次加入视觉理解与电脑操作能力并计划开源权重；官方坦承多数跑分仍落后于顶尖闭源模型，但在内部科研评测中位居开源第一。

耗时4小时调用工具1492次，能在已有工程上改需求

助北大团队找到MPV数学猜想反例并完成形式化验证

复杂任务中偶发底层数据不同步和镜头不连贯等缺陷

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

腾讯预告混元Hy4：首次加入视觉理解

腾讯宣布即将发布混元大模型 Hy4 正式版，首次加入视觉理解能力并强化长程任务，还将推出轻量版 Hy4 Flash，同时发布办公协同体系 Buddy One 与腾讯网盘。

腾讯开源视觉语言模型 WeVisOne-VL，推出 2B 和 4B 两个规模，将目标检测、计数、文字识别、分割与精细抠图统一到一个模型中，代码已公开。

腾讯发布个人 AI 协同体系 Buddy One，打通腾讯文档、会议、网盘和 ima，共享底层 Agent、统一账号与积分池，客户端升级后可免费关联使用。

AI 数学公司 Axiom 组织数十个 AI Agent，耗时 24 天将 1.5 万页的有限单群分类定理转化为可验证代码，生成约 4310 万行 Lean 代码并全部开源。