持续追踪 AI 产品、研究、融资并购、业绩和重要人事动态，依据公开来源整理，关联编辑报道。
来源发布时间 · 北京时间
每 6 小时自动检查 · 最近检查 · 本六小时时段累计新增 10 条
Google DeepMind 宣布，研究人员用名为 AlphaProof Code 的新型 agentic 系统，验证了 Signal 密码协议实现而不只是设计。该工作由 Pushmeet Kohli 和 Swarat Chaudhuri 署名，DeepMind 称这是首次由 AI 辅助、以如此深度完成广泛部署密码协议的实现级形式化验证。系统先将安全目标转为 Lean 规格，再由 Gemini Carbon 驱动的多个代理生成并审查证明，四周内完成验证。
IT之家 11 月 10 日消息，Blender 5.3 现已正式发布，新增原生 3D Gaussian Splatting 支持。Linux 版默认图形后端从 OpenGL 切换为 Vulkan，Windows 版也同步调整，ARM 设备除外。新版本还加入 Blender Projects 项目管理、Cycles 色散与 DLSS 降噪改进，以及视频序列编辑器的波纹编辑功能。
据 IT之家 报道，智元 11 月 10 日正式发布 WITA-Omni（硅光动语全模态大模型）。官方称其为行业首个具身全模态端到端交互大模型，支持音视频、触觉、本体状态输入，以及动作和表情输出。该模型基于流式全双工架构，交互响应最快约 400 毫秒、平均约 600 毫秒，并支持上百种语言和方言的免切换交流与流式同声传译。
IT之家报道，华为称鸿蒙电脑应用数量已突破 2.1 万款，WPS Office、钉钉、飞书、企业微信等头部应用已适配。WorkBuddy、豆包、豆包办公、千问等陆续上架，千问办公三端一致首发上架鸿蒙电脑。华为还称，DevEco 启动公测，DevEco Code 和 DevEco CLI 正帮助开发者降低迁移与开发门槛。
IT之家报道，BadassBaboon 为《荒野大镖客：救赎 2》带来了名为 Reality Redemption 2 的新画质 MOD。它加入硬件加速光线追踪，包括 RTGI、环境光遮蔽和静态物体阴影，并强化了水面反射效果。该 MOD 目前仍处测试阶段，仅支持 DirectX 12，开发者尚未公布性能数据和最低显卡要求。
据 VentureBeat 转引 Business Wire，Finite State 宣布完成 2700 万美元 C 轮融资，由 The O.H.I.O. Fund 管理的私募基金领投，多家机构跟投。公司称资金将用于扩大海外业务，并加快 AI 驱动产品安全平台的自主能力。该平台可分析成品设备中的软件和固件，帮助制造商在出货前发现已知和零日漏洞。
IT之家报道，禾赛科技发布 2026 财年第三财季未经审计业绩，营收 10.7 亿元，同比增长 34.3%，归母净利润 8079 万元，同比增长 13.7%。公司称本季激光雷达交付 729673 台，机器人动力模组交付 23405 套，环比增长 96.8%。IT之家还报道，禾赛的 Kosmo 已开始贡献收入，并与 RenderMan、银河通用机器人等达成合作。
据 IT之家 报道，中微公司近日发布 Primo Matrix 双反应台等离子体晶圆切割设备，并宣布首台设备已顺利付运国内一家重要集成电路封装客户。该设备面向先进封装的高精度、低损伤切割需求，支持 200mm 和 300mm 晶圆，切割道宽度最低可至 5μm，适配 25–700μm 厚度范围。公司称其可覆盖多种先进封装工艺并提升产能。
据 IT之家报道，华为麒麟官方公众号今日介绍了首款“逻辑折叠”技术 τ 芯片麒麟 9050 系列，围绕计算、AI、图形等八大核心单元升级。华为公布数据显示，该系列混合键合超过 5000 万、有效信号互连超过 500 万条，晶体管密度提升 53.5%。其中麒麟 9050 Pro 集成灵犀 CPU、马良 GPU 和达芬奇架构 NPU，AI 算力提升 140%。
据 IT之家援引《连线》报道，安全研究人员用 Claude Opus 和 Sonnet 扫描英国政府公开代码，在 33 个机构的 349 个代码库中发现了 100 多个严重漏洞，约三分之二存在安全问题。最严重的一起涉及英国规划监察局，泄露的 Microsoft Entra ID 凭据可访问 SharePoint、OneDrive 和部分敏感档案。相关机构称已在 20 分钟内确认并修复，未发现数据泄露。此事也让英国是否继续公开源代码再度引发争论。
没有匹配的追踪动态。