TLDR AI汇总：OpenAI解Navier-Stokes，Meta推Muse，DeepMind发布AlphaGenome Atlas

TLDR AI报道OpenAI内部AI系统生成Navier-Stokes存在性与光滑性问题解的证明及Lean形式化验证。Meta发布面向大众的个人AI智能体Muse，支持iOS、Android及Web端任务自动化。