2026 年 11 月 6 日

Gemini Omni 1.2 Flash: Fast and cost-effective with longer clips

使用可穿戴传感器检测高血压迹象

Health & Bioscience

Formally verifying agent-written full-stack web apps with PDD Kit

AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets

Hungary: Communist-era files released, up to 60k former agents revealed