ZICQ curates daily AI news and deep dives on models, open-source infrastructure, and developer field reports.
Submit an articleCurrent filter: Tag: #多镜头 Clear filters
Agentic· 2026-11-05#PDD Kit#Formal Verification#Verus#Rust#Coding Agents
By Mr.Xu0 views0 discussions
Microsoft Research has introduced PDD Kit, a research prototype that brings Proof-Driven D…
Agentic· 2026-11-05
Mr.Xu0 views0 discussions
NVIDIA is showcasing workflows that combine frontier AI models with Omniverse libraries to…
LLMs & Foundation Models· 2026-11-05
Mr.Xu0 views0 discussions
Google has released Gemini Omni 1.2 Flash, adding native video generation and editing for …
LLMs & Foundation Models· 2026-11-05
Mr.Xu0 views0 discussions
OpenAI has launched GPT-6 Cyber, a cybersecurity-focused model designed to discover vulner…
Research & Papers· 2026-11-05
Mr.Xu0 views0 discussions
Axiom Math says its AI agents have formally verified the Stacks Project, one of mathematic…
Compute & Architecture· 2026-11-05
Mr.Xu0 views0 discussions
NVIDIA is addressing the memory pressure created by larger models, longer contexts, and ag…
Compute & Architecture· 2026-11-05
Mr.Xu0 views0 discussions
Avalanche Software has integrated NVIDIA DLSS 5 into Hogwarts Legacy, adding 3D-Guided Neu…
Industry & Trends· 2026-11-05
Mr.Xu0 views0 discussions
Amazon, Microsoft, Alphabet, and Meta have indicated that their combined 2026 capital expe…
Research & Papers· 2026-11-05
Mr.Xu0 views0 discussions
The paper introduces Sequential Staypoint Extraction (SSPE), a state-driven method for rec…
Research & Papers· 2026-11-05
Mr.Xu1 views0 discussions
The paper introduces Multi-Item Scoring (MIS), a prefix-aware, non-autoregressive framewor…
Research & Papers· 2026-11-05
Mr.Xu0 views0 discussions
This work examines whether a validation metric used for checkpoint selection and early sto…
Research & Papers· 2026-11-05
Mr.Xu0 views0 discussions
MA-SafeDiffuser extends SafeDiffuser’s control-barrier-function (CBF) constraints to diffu…
