每日科技摘要-09-09-早报

Meta 推出可代办任务的个人智能体；OpenAI 宣称攻克纳维-斯托克斯难题，但成果的归属和严谨性已引发学界争议。

Muse：Meta 的个人 AI 助手，功能与特性全解析：Meta 发布个人 AI 智能体 Muse。它可在独立虚拟机和浏览器中处理预约、表单、客服等任务，关键操作需用户确认。
论纳维-斯托克斯千禧年大奖难题：OpenAI 称内部系统找到了纳维-斯托克斯存在性与光滑性问题的证明，并公布文字说明和 Lean 形式化版本。
纽约大学数学家指责：在关乎职业生涯的数学难题上，OpenAI 玩弄了“阴招”：数学家 Tristan Buckmaster 称，OpenAI 在得知其团队进展后迅速推进同题研究，双方围绕研究来源和署名产生争议。
OpenAI 刚宣称取得重大数学突破，学术界却有人不买账了：报道梳理了这项声明背后的争议。即使证明成立，仍需经过同行严格核验，且 AI 在研究中的角色与署名规则也待厘清。
Mercury 2.5：Inception Labs 发布 Mercury 2.5，主打低延迟、低价格和长上下文。公司称其在常见 NVIDIA GPU 上可达每秒 1,107 个 token。
Qwen2.5 27B 量化实测：4-bit 表现稳健，1-bit 彻底崩塌：对 27B 模型的量化测试显示，4-bit 版本在编码任务上接近全精度，而压到 1-bit 后，多项推理能力接近随机水平。
ChatGPT 简笔画变大片：手残党的涂鸦也能秒变 AI 精致画作：ChatGPT Images 2.5 增加 Sketch 功能，用户可先画草图再生成图片，也能直接圈选图片局部提出修改要求。

AI 和自动化工具扩大了攻击面，浏览器、订阅服务和内容平台都在面对更快的风险与更严的监管。

黑客正肆无忌惮地盗取订阅用户的 Claude Token：有 Claude Max 用户在未使用服务时仍发现额度被消耗。事件显示本地插件、会话令牌和云端执行权限可能成为被盗用入口。
AI 核心用户指控 Anthropic 订阅服务涉嫌欺诈，已正式提起诉讼：部分 Claude Max 用户起诉 Anthropic，认为“5 倍”“20 倍”使用额度的宣传容易误导，实际限制与用户预期不符。
AI 重塑安全格局，Chrome 现将更新周期缩短至每两周一次：Chrome 153 起从四周一更改为两周一更。Google 希望缩短漏洞公开到用户获得修复之间的时间。
黑客盗取3.4亿美元加密货币，后又归还绝大部分：Liquid Network 遭漏洞攻击，约 4,000 枚比特币被转走。攻击者在漏洞修复后归还大部分资金，平台仍暂停服务以完成加固。
Meta 未能拦截数百条 AI 涉童虐待广告，部分甚至包含真人儿童照片：研究者发现 Meta 平台上仍出现大量含儿童性虐待内容的广告，部分使用真人儿童图片，说明其新检测工具未能有效拦截。
生成式 AI 工具现被用于宣扬“垃圾圣战”：研究报告指出，极端组织支持者正用生成式 AI 制作卡通、短视频和迷因，以更隐蔽、更易传播的形式接触年轻用户。

苹果软硬件生态继续扩展，但测试版系统和开发框架也暴露出兼容与交互问题。

Apple「随航」的无感体验里，藏着多少流畅的秘密？：iPadOS 27 和 macOS Golden Gate 的随航功能加入触控操作 Mac 的能力。测试版延迟较低，但多数 Mac 应用仍以键鼠交互为主。
Asahi Linux 现已支持 M3 芯片 Mac：Asahi Linux 已正式支持 M3、M3 Pro 和 M3 Max Mac，摄像头、无线网络、硬解视频等功能基本可用；GPU 和完整显示控制仍待完善。
TestFlight 排序规则：TestFlight 4.3 加入搜索，却把测试应用列表从按更新时间排序改为按字母排序。对测试大量应用的开发者来说，查找更新反而更麻烦。
SwiftUI 工具栏指南：文章梳理 macOS 上 SwiftUI 工具栏的样式和自定义规则，指出可自定义工具栏与普通工具栏的 API 并不完全兼容。
Golden Gate 中的 NSToolbar 应用指南：macOS 27 测试版的 NSToolbar 出现白条、搜索框垂直偏移等问题，影响 AppKit 和 Catalyst 应用的发布准备。

从本地运行大模型到语言运行时优化，开发者正持续压榨消费级硬件和软件栈的性能。

MacBook Pro 凭 1 token/s 跑 Kimi K3 (2.8T)，纯靠四块 SSD 阵列流式读取：Deltafin 项目尝试让 Apple Silicon Mac 通过 SSD 阵列流式读取，运行完整的 2.8 万亿参数 Kimi K3。速度约每秒 1 个 token，重点在验证超大模型的本地可运行性。
C：在 C 语言中实现编程与验证的合二为一：论文提出 C，让开发者能在 C 代码中直接编写证明和验证逻辑，并通过符号执行与证明内核实时检查程序性质。
将 Rust 枚举替换为 64 位字，让我的解释器提速 17%：作者将解释器的动态值表示从 Rust 枚举改为 64 位编码，减少内存访问和分支开销，使整体性能提升 17%。
刨根问底：拆解 np.add 的底层执行过程：文章跟踪一次 np.add 调用从 Python 接口到 SIMD 内核的完整路径，解释 NumPy 如何处理类型、广播、循环和底层加速。
逆向工程 ASIC：作者复盘一个 ASIC 逆向题目：从 GDS 芯片版图和输入输出波形出发，逐步还原电路结构和功能。

AI 数据中心的用电需求正在推动核电投资；商业航天继续吸引大额融资。

Google DeepMind 发布 AlphaGenome Atlas 基因组图谱：DeepMind 发布 AlphaGenome Atlas，预计算了约 90 亿种单碱基变异的潜在调控影响，帮助研究者筛选值得优先研究的基因变异。
谷歌重启的核电站获美国政府19亿美元贷款支持：美国能源部向 NextEra 提供 19 亿美元贷款，用于重启爱荷华州核电站。该项目预计 2029 年恢复运行，并为 Google 附近的数据中心提供电力。
主权 AI 迎来空前商机，Mistral 斩获 30 亿欧元巨额融资：Mistral AI 完成 30 亿欧元融资，计划扩大算力和基础设施。欧洲市场对自主可控 AI 的需求正成为其主要增长方向。
The Exploration Company 获 4.5 亿美元融资，欲与 SpaceX 一决高下：欧洲航天公司 TEC 获 4.5 亿美元 C 轮融资，将用于开发可重复使用的重型飞船，争取欧洲独立的太空运输能力。
Stoke Space 再融资数十亿，欲与 SpaceX 在火箭回收重用领域一决高下：Stoke Space 完成 10 亿美元 E 轮融资，目标是实现入轨、扩大生产，并研发下一代完全可重复使用火箭。