TLDR AI汇总：OpenAI解Navier-Stokes，Meta推Muse，DeepMind发布AlphaGenome Atlas
TLDR AI报道OpenAI内部AI系统生成Navier-Stokes存在性与光滑性问题解的证明及Lean形式化验证。Meta发布面向大众的个人AI智能体Muse，支持iOS、Android及Web端任务自动化。
#DeepMind
#DeepMind
今日 0 条TLDR AIAI 评分6868
Google DeepMind精选AI 评分8484 Google 发布轻量化网络安全模型 Gemini 3.5 Flash Cyber
Google 发布基于 Gemini 3.5 Flash 微调的网络安全模型 Gemini 3.5 Flash Cyber，用于高效发现、验证和修复代码漏洞。该模型通过限制政府及可信合作伙伴的试点计划访问，在 CyberGym 和 Chrome 生产环境等测试中展现了优于主线路基模型和更大模型的高效性能，已用于保护 Google 内部代码库。
推荐理由：官方发布了针对网络安全微调的轻量化模型，提供了在漏洞扫描任务中降低成本并提升覆盖率的实操架构。