AI Daily Insights No. 98 · November 10, 2026

AI Tracker

Follow AI products, research, funding, acquisitions, earnings and major executive changes through sourced briefs and linked editorial coverage.

Source publication time · Beijing time

Checked every 6 hours · Last checked (Beijing) · 10 new in this 6-hour window

All updates

120 updates in the archive

Google DeepMind says AlphaProof Code formally verified Signal’s protocol implementation

Google DeepMind says researchers used a new agentic system called AlphaProof Code to formally verify Signal’s cryptographic protocol implementation, not just its design. The work, announced on November 10, 2026 by Pushmeet Kohli and Swarat Chaudhuri, is described as the first AI-assisted formal verification of a widely deployed cryptographic protocol at this depth. DeepMind says human experts translated security goals into Lean specifications, Gemini Carbon-powered agents generated more than six million lines of proofs, and the system caught two reintroduced bugs in an isolated Signal codebase.

AI-generated Announced Google DeepMind ↗Wired ↗ #Google DeepMind#Signal#AlphaProof Code

According to IT之家, Blender 5.3 is released with native 3D Gaussian Splatting and Vulkan by default on Linux

According to IT之家, Blender 5.3 has been officially released with native 3D Gaussian Splatting support. On Linux, the default graphics backend has switched from OpenGL to Vulkan, and Windows follows the same change except on ARM devices. The update also adds the optional Blender Projects management system, improves Cycles with dispersion support and DLSS denoising, and redesigns the Video Sequencer with ripple editing. Installers are available for Linux, Windows and macOS.

AI-generated Released IT之家 ↗ #Blender

ITHome reports AgiBot launches WITA-Omni embodied multimodal interaction model

According to IT之家, AgiBot announced the release of WITA-Omni on November 10. The company says it is the industry’s first embodied end-to-end multimodal interaction model, trained on robot body perception data. It adds touch and internal-state inputs alongside audio and video, and can output actions and facial expressions. Built on a streaming full-duplex architecture, it reportedly responds in about 400 milliseconds at best and 600 milliseconds on average, while supporting free switching across hundreds of languages and dialects.

AI-generated Released IT之家 ↗ #智元#WITA-Omni

IT之家: Huawei says HarmonyOS PC apps top 21,000 as AI apps and developer tools expand

IT之家 reports that Huawei says the number of HarmonyOS PC apps has officially exceeded 21,000. Major office apps such as WPS Office, DingTalk, Feishu and WeCom are now adapted, while AI-focused apps including WorkBuddy, Doubao, Doubao Office and Qwen are arriving on the platform. Huawei also says DevEco for PCs has entered public beta, and its AI-assisted DevEco Code and DevEco CLI are designed to lower app migration and development barriers.

AI-generated Reported IT之家 ↗ #Huawei#鸿蒙电脑#Qwen Office

IT之家 reports BadassBaboon has released Reality Redemption 2, a ray-tracing graphics mod for Red Dead Redemption 2

IT之家 reports that mod creator BadassBaboon has released Reality Redemption 2 for Red Dead Redemption 2. The mod adds hardware-accelerated ray tracing, including RTGI, ray-traced ambient occlusion, and shadows for static geometry, and it also improves water reflections. Reality Redemption 2 is still in testing, supports DirectX 12 only, and players using Vulkan must switch to DX12 in the game’s advanced graphics settings before using it. The developer has not yet published performance results or minimum GPU requirements.

AI-generated Released IT之家 ↗ #Red Dead Redemption 2#Reality Redemption 2#Rockstar

Finite State announces $27 million Series C to expand AI-driven product security platform

According to VentureBeat’s republished Business Wire release, Finite State says it has raised $27 million in Series C funding led by private funds managed by The O.H.I.O. Fund, with participation from CIBC Innovation Banking, Energy Impact Partners, Energize Capital and National Grid Partners. The company plans to use the money to expand globally, deepen its international presence and accelerate autonomous capabilities in its AI-driven product security platform. Finite State says the system analyzes software and firmware in finished devices to surface known and zero-day vulnerabilities before products ship.

AI-generated Announced VentureBeat ↗ #Finite State#The O.H.I.O. Fund#CIBC Innovation Banking

ITHome reports Hesai’s Q3 FY2026 results, with revenue of 1.07 billion yuan

ITHome reported on Nov. 10 that Hesai Technology released its unaudited Q3 FY2026 results for the period from July to September 2026. Revenue came in at 1.07 billion yuan, up 34.3% year over year, while net profit attributable to shareholders was 80.79 million yuan, up 13.7%. The company said lidar deliveries reached 729,673 units, and robot power-module deliveries totaled 23,405 sets, rising 96.8% sequentially. Hesai also said its Kosmo business has begun contributing revenue.

AI-generated Reported IT之家 ↗ #禾赛科技#Kosmo#JD.com

IT之家 reports CMC launches Primo Matrix plasma wafer dicing tool and ships first unit to a domestic packaging customer

According to IT之家, CMC recently released its Primo Matrix dual-station plasma wafer dicing system and said the first unit has been delivered to an important domestic integrated-circuit packaging customer. The tool is aimed at advanced packaging, where high precision, low damage and narrow dicing streets are critical. CMC says Primo Matrix supports 200 mm and 300 mm wafers, dicing streets down to 5 μm, and wafer thicknesses from 25 to 700 μm.

AI-generated Released IT之家 ↗ #中微公司#Primo Matrix

IT Home says Huawei’s Kirin account details the Kirin 9050 series with a 140% AI compute boost

According to IT Home, Huawei’s Kirin official account posted details on the Kirin 9050 series, calling it the first “logic-folding” τ chip. The series is said to upgrade eight core units covering computing, AI, graphics, imaging, communications, audio-video, display and security. Huawei’s figures cited by IT Home say the chips use more than 50 million hybrid bonds and over 5 million effective signal interconnects, with transistor density up 53.5%. The Kirin 9050 Pro integrates Lingxi CPU, Maliang GPU and a Da Vinci NPU.

AI-generated Technical overview IT之家 ↗ #Huawei#麒麟 9050 系列#麒麟 9050 Pro

According to IT之家 and Wired, AI-assisted scanning found more than 100 serious flaws in UK government public code

According to IT之家, citing Wired, security researcher Chris Nesbitt-Smith used Claude Opus and Sonnet to scan 349 public code repositories across 33 UK agencies and found more than 100 serious security flaws. He said about two-thirds of the repositories contained issues. The most serious case involved the Planning Inspectorate, where exposed Microsoft Entra ID credentials could access SharePoint, OneDrive and sensitive records. The agency said it fixed the issue within 20 minutes and found no data leak.

AI-generated Reported IT之家 ↗ #Anthropic#Claude#ControlPlane