每日科技摘要-06-13-早报

一边是本地模型更能干了，另一边是 AI 的成本、边界和副作用也更清楚了。现在的重点不只是“能不能用”，而是“怎么用才值、才稳”。

如何在 macOS 上搭建本地编码代理：作者在 Mac M1 Max 上用 llama.cpp、Gemma 4 和 MTP 搭了一个本地编码代理，还接入了兼容 OpenAI 的接口。加入 MTP 后速度提升约 24%，说明高端 Mac 已经能离线跑一个实用的代码助手。
Maxproof：MiniMax-M3 团队把“生成证明、验证证明、发现问题后修补”放进同一套流程，再在测试时做搜索和筛选。结果是在 IMO 2025 和 USAMO 2026 上都超过了人类金牌线，说明大模型在形式化推理上又往前走了一步。
我可以买你的 KV 缓存吗？：论文提出让内容发布方预先算好文档的 KV 缓存，别的代理直接复用，省掉重复 prefill。实验显示成本可降到原来的 1/9 到 1/50，但真正难点在传输、压缩和付费机制。
我不是反向半人马：一位开源维护者明确拒绝“先让 AI 写，再扔给维护者审”的补丁。他的意思很简单：AI 可以帮忙，但不能把最费时间、最需要判断的工作全甩给别人。

苹果这边的重点很明确：多做底层重写和小功能补洞，少喊口号。安全、性能和日常可用性，比花哨更重要。

苹果中的 Swift：迁移 TrueType 字体提示解释器：苹果把 TrueType 字体提示解释器从 C 重写成 Swift，主要是为了内存安全。新版本在保持像素级兼容的前提下，平均还快了约 13%，而且源码已经开源。
你可以远程开启一台 Mac：macOS 26.5 开始，部分新款 Mac 支持“接通电源自动开机”。这对远程实验室、机架设备和 CI 很实用，不过机型支持范围还很窄，也还有登录界面下无法自动重启的 bug。
Safari 27 发布：Safari 27 加了网页变化监控和 AI 整理标签页，还带来 58 项新功能和 525 个修复。方向很实在：继续补浏览器基础能力，而不是只追热点。
用 SwiftUI 重写 Notion：Notion 正把界面迁到 SwiftUI，目标是改善长期被诟病的性能和一致性问题。这也说明一些重量级 Mac 应用开始认真考虑摆脱网页壳子的代价。

这一组新闻说明了同一件事：系统越依赖 AI 和数据，攻击面和滥用风险就越大。很多问题不是技术做不到，而是设计得太粗。

恶意软件开发者在他们的间谍软件中加入了核武器和生物武器相关文本：攻击者故意在间谍软件里塞进敏感词，诱导大模型安全系统先拒答、后失明。这个案例说明，过于死板的“先拦再说”策略，本身也会变成漏洞。
谷歌起诉使用 AI 诈骗“数十万受害者”的中国网络犯罪团伙：谷歌指控一个团伙用 AI 批量生成钓鱼网站和诈骗短信，冒充谷歌等品牌，影响数十万人。重点不只是诈骗规模大，而是 AI 已经把这类黑产做成了低成本流水线。
美国监控法首次即将到期，原因是立法者否决了特朗普备受争议的情报机构领导人提名：FISA 第 702 条可能首次到期，争议集中在无令获取美国人通信、以及情报权力该怎么管。即便条文失效，相关监控能力也未必会立刻消失。
行动呼吁：停止 FCC 的 KYC 监管制度：反对者认为，FCC 拟议的电话实名规则会让普通人开通电话也要交身份证明，代价却主要落在低收入者、记者、受害者和重视匿名通信的人身上。它未必真能挡住诈骗，反而会扩大数据收集。
App Store 个性化推荐与键盘记录：苹果准备在 App Store 推更强的个性化推荐，但也被质疑长期收集与账号关联的行为数据，包括点击和输入节奏。问题不在“推荐”两个字，而在用户几乎没法真正关掉这类跟踪。

底层软件这周有不少真东西：启动、文档、运行时、数据库都在补老问题。看起来不热闹，但很重要。

使用 QEMU/OVMF 进行 UEFI HTTP(s) 启动入门：文章详细拆解了在 QEMU/OVMF 里做 UEFI HTTP/HTTPS 启动时遇到的坑，包括随机数设备、PXE 超时和 TLS 安全级别。结论很明确：比起老的 PXE/TFTP，HTTP(S) 启动更快，也更好管。
一份会根据阅读方式而变化的 PDF：作者利用 PDF 的替换文本机制，让人类看到的是正常排版，机器抽取到的却是结构清晰的 Markdown。这个做法很巧，直接改善了 PDF 给搜索、摘要和大模型带来的老问题。
WASI 0.3：WASI 0.3 正式把异步能力纳入 WebAssembly 组件模型，宿主统一管理事件循环，API 也更简洁。对开发者来说，这比过去那套轮询和流接口更自然，语言绑定也会更好做。
展望 Postgres 19：是时候了：Postgres 19 原生加入时间表能力，比如 WITHOUT OVERLAPS、FOR PORTION OF 和基于 PERIOD 的外键。以前这些事能做，但写起来别扭、也容易错；现在终于像数据库内建功能了。

两条科学新闻都在改写老看法：一种是癌症治疗的思路，一种是地球海洋的来源。都还没到定论，但方向很值得看。

CRISPR 技术可选择性撕碎癌细胞，包括“无法成药”的癌症：研究人员用 Cas12a2 做出一种“染色质粉碎”方法，能识别带特定突变的癌细胞并把它们杀死，对健康细胞影响较小。它目前还停留在细胞实验阶段，但对 p53 相关、长期难治的癌症很有吸引力。
地球的海洋从何而来？也许是它自己造出来的：新研究认为，早期地球可能在岩浆海和富氢大气作用下自己产生了大量水，而不全靠彗星或小行星送来。现在更像是“多种来源一起作用”，老答案正在被改写。

市场这边最醒目的还是 AI 和航天。钱继续往头部公司流，估值继续抬，但供应链、团队管理和专利纠纷也都在提醒人们：热并不等于稳。

SpaceX IPO 收盘大涨 19%，并造就了世界首位万亿富翁：SpaceX 上市首日大涨，市值逼近 2.3 万亿美元，也把马斯克推到“万亿富翁”的位置。更值得看的是，这说明公开市场依旧愿意为极少数超级叙事付出很高价格。
据传，Mistral 正在以 200 亿欧元估值融资 30 亿欧元：如果这轮融资成真，Mistral 的估值会接近去年秋天的两倍。欧洲显然还想押注一条“更开放、也更本地化”的 AI 路线，但它和美国头部公司的资金差距依然很大。
杰夫·贝索斯的 AI 初创公司旨在打造“人工通用工程师”：Prometheus 已融资 120 亿美元，目标是做能参与实体产品设计的 AI 工程工具。它想切入的不是聊天，而是机器人、制造、药物设计这些更重的工程场景。
“告诉他，他就是个混蛋”：Meta 的新 AI 团队一团糟：Meta 内部因 AI 重组、裁员和工作内容单调引发强烈不满，员工直播会上甚至当场爆粗。外面在追 AI 热潮，里面却先碰到最老的问题：组织混乱、士气下滑、管理失灵。
Nothing 首席执行官表示，手机价格只会继续上涨：Carl Pei 认为，内存已经成了手机里最贵的部件之一，涨价还会继续。意思很直白：未来手机变贵，不一定是厂商贪心，很多时候就是供应链在涨。