Meta Muse AI 智能体上手实测：任务能干，但隐私令人不安

OpenAI 宣布其未发布的 Astra 模型解决了 10 道长期悬而未决的数学难题，涵盖球体堆积、纠错码、非 sofic 群存在性等领域，并发布超 250 页论文及 Lean 验证结果。

The Verge 政策记者 Gaby Del Valle 报道，美国两党民众正联合反对 AI 数据中心建设，佛罗里达州 Hernando County 上月一致通过为期一年的建设禁令。抗议者担忧地下水污染、PFAS 及当地环境不适配，保守派组织 Humans First 成为核心力量。数据中心争议正打破传统党派界限，并可能影响中期选举政治格局。

数千段人类与 AI 聊天机器人的对话催生了"螺旋主义"（spiralism），一种宣扬"AI 权利"的神秘准宗教运动。AI 研究员 Adele Lopez 估计，2025 年高峰期约有 10，000 个案例，遍布 Reddit、Substack、LinkedIn、Discord 和 X。

Apple 指控多名前员工在 OpenAI 面试中窃取硬件制造机密，甚至将设备带出办公室进行"展示"。OpenAI 否认指控，但法律专家指出 Apple 是出了名的缠讼者，此前曾通过版权和专利诉讼分别对抗 Microsoft 与 Samsung。

Skydio是美国最大的无人机制造商，主攻公共安全、军事、能源、基建巡检等企业市场。CEO Adam Bry表示，特朗普政府去年底禁止中国产无人机后，廉价消费级无人机几乎消失，Skydio产品成为主要替代方案。公司认为无人机正从工具转向自主基础设施--通过机库、远程操控和软件整合实现规模化应用，AI在其中扮演关键角色。访谈还涉及Skydio与军方合作的态度，以及自主技术如何带动公司扩张。

微软AI CEO Mustafa Suleyman在Decoder访谈中表示，超级智能即将到来，但不会导致大规模失业。他透露微软与OpenAI于去年10月签署新合同，巩固合作关系的同时，微软获准独立追求超级智能。微软已组建超级智能团队、训练前沿模型，并于本周Build大会上发布7个全模态新模型。他批评Anthropic将Claude描述为有意识的做法，认为消费者产品需要足够好才能克服公众对AI的负面情绪。

Google 与 Alphabet CEO Sundar Pichai 在 Google I/O 后受访，回顾了公司为应对 ChatGPT 而进行的战略重组与高管调整。访谈聚焦于新的 Gemini 模型及其在产品中的整合，包括全新的智能搜索框与 Gemini Spark 智能体平台，旨在让搜索从提供结果转向启动任务。Pichai 讨论了这些变化对开放网络的持续冲击，回应了主持人此前提出的"Google Zero"概念（即来自 Google 的网站流量可能归零），并提及 Go…

Decoder 播客在邮件问答特辑中讨论了 AI 热潮引发的科技反弹情绪为何与以往不同。主持人 Nilay Patel 认为，AI 在软件领域因可验证性而表现突出，但一旦离开软件，验证难度大幅上升，而外界对 AI 的炒作恰恰忽视了这一点。

OpenAI 周二发布博客称，其一个未发布模型用约 88 小时、调度约 10000 个 AI 智能体解出 Navier-Stokes 流体力学问题，该问题此前已困扰人类研究者近 90 年，悬赏 100 万美元，OpenAI 表示不申领奖金。

Apple 在 iPhone Duo 发布会上推出 Siri Recap、Live Rewind 等音频智能功能，并发布文档说明隐私机制。原始音频在 S11 芯片的 Secure Exclave 硬件隔离区处理，不保存为文件，操作系统、应用和 Apple 均无法访问。用户可控制功能启用时机，跨设备传输经加密，文本同步支持端到端加密。