Hacker News 中文摘要

美国国家运输安全委员会（NTSB）就2026年9月6日迈阿密国际机场21 Air Flight 7598波音767-33A货机跑道偏离事故发布调查更新。调查人员已从现场寻获驾驶舱语音记录器（CVR）和飞行数据记录器（FDR），送往华盛顿特区车辆记录器实验室并成功读取。CVR含超过2小时四声道优质音频，FDR含约54小时数据、400多个参数。上述信息为初步信息，可能变更。NTSB将于近期在华盛顿总部召集CVR小组，审查事故飞行记录并制作书面记录。

苹果（Apple）昨日推出苹果参考图像（Apple Reference Image），一种通过加密证明照片确实由相机拍摄而非人工智能生成的方法。今年夏天在递归中心（Recurse Center）期间，亚历克斯·霍恩斯坦（Alex Hornstein）和作者（两名相机爱好者）构建了一台具备捕获证明（proof of capture）功能的相机。该相机由树莓派零号（Raspberry Pi Zero）、显示板、ATECC608加密芯片、快门按钮和3D打印外壳组成。

作者越来越确信整个 AI 工程都是内卷（Neijuan）：在中国，它指不断加码投入与竞争、却不提升产出的体系，西方变体之一就是 996。该词的英文说法 Involution 出自《农业内卷化》（Agricultural Involution），说的是每亩产量提高、人均产量不变的农业集约化。他对当下的 AI 正是这种感觉，于是想到 GPT 6 Astra：它各方面都极其出色，擅长操作电脑、理解图像与复杂议题，但至少目前，他不知道怎么用它做真正的软件工程。这事在 Twitter 上引起不少关注，他打算梳理自己的想法，看看它产出的代码到底是什么样。

安赫拉·卡里梅·韦内加斯·埃尔南德斯（Ángela Karime Venegas Hernández）今年16岁，拥有了一个无人想到过的点子。她就读于塔毛利帕斯州阿尔塔米拉市的CETIS 78学校，有一天决定不用吹气、水或其他东西，仅凭声音熄灭蜡烛。她用一块12伏电池、频率发生器和每秒发出30次脉冲的扬声器组装了装置，振动将氧气推离火焰，火在5到8秒内熄灭。

过去八个月里，我们的威胁情报团队识别并阻断了多起威胁行为者试图将产品克劳德（Claude）用于恶意活动的操作。在这份报告中，我们分享了来自这些行动的案例研究，并描述了自3月与8月发布先前威胁报告以来，克劳德被恶意使用的方式发生了怎样的演变。

谷歌（Google）宣布向芬兰人工智能基础设施投资130亿欧元，这是该公司在欧洲最大的一笔单笔投资。谷歌表示，这笔资金将用于建设三个新数据中心、扩建现有站点，并支持能源项目。作为交易一部分，谷歌与芬兰公用事业公司富腾（Fortum）签署22年合同，购买洛维萨核电站最多50%的发电量。本周早些时候，抖音国际版（TikTok）宣布在芬兰投资10亿美元。

2026年9月10日，一个不受信任网站借助网页图形接口（WebGPU）着色器可挂起苹果电脑（Mac）图形，桌面界面不可用直至强制重启，受害者仅点击链接即可。该问题在苹果操作系统（MacOS）的谷歌浏览器（Chrome）、火狐浏览器（Firefox）与苹果浏览器（Safari）复现，其他系统无此现象。仅在运行塔霍（Tahoe）的M系列苹果电脑（Macbook）测试。此技术提供浏览器内接口让网站向图形处理器（GPU）提交着色器以替代网页图形库（WebGL）。

面向智能体开发的 Agents API 文档页位于 OpenAI（开放人工智能）开发者站点，路径是 developers.openai.com/api/docs/guides/agents-api/overview。页面开头说明，完整文档索引收录在 llms.txt 中，而在任一文档页地址后追加 .md，就能取到对应的 Markdown 版本，便于把内容送进各类开发工具与自动化流程。

昨天，开放人工智能（OpenAI）宣布了一项证明，解决了流体力学中纳维-斯托克斯（Navier-Stokes）方程的一个长期问题。少有人谈的是，他们在发布人类可读证明时，也给出了 Lean 4 形式化证明。近来多个数学猜想被 AI 解决，常附形式化证明。生成机器可验证的证明仍极其繁琐。2005 年，亨克·巴伦德雷赫特（Henk Barendregt）和弗里克·维迪克（Freek Wiedijk）估计，形式化一页本科数学教材约需一个工作周，即四十小时。

AI让复制现有事物变得快速又简单，如果你的竞争优势不再是功能或价格，而是创意，那么养成发明新事物的习惯就比以往更有价值。回顾Flash时代，2006年我在曼哈顿一家叫Mutant Media的小创意机构工作，设计搭建网站、动态图像、印刷品和微站点。那时的微站点会弹出一个640x480的Flash窗口，比如我参与的一个项目就是为百加得（Bacardi）做调莫吉托的Flash游戏。