E-Ink 新闻日报

OpenAI发表了解决纳维-斯托克斯千禧年大奖难题的论文，这是数学领域七个最重要的未解问题之一。该文章在Hacker News上引发了热烈讨论，获得超过1000分和870多条评论，显示出技术和数学界的高度关注。

Levent Alpöge和Tristan Buckmaster宣布了一项重大突破，证明了3D不可压Euler方程、Boussinesq方程和无粘原始方程(IPM)在光滑外力作用下存在有限时间爆破。这一成果解决了数学流体力学中关于这些基本方程光滑解是否会在有限时间内产生奇点的长期开放问题。

Meta今年未能检测和删除332条广告，这些广告推广AI换装应用，将真实儿童照片篡改成儿童性虐待材料，包括一名欧洲王室幼童和一名14岁Instagram网红的照片。Tech Transparency Project调查发现，这些广告主要推广中国开发的应用，并使用露骨文案诱导用户点击。

Google DeepMind发布了AlphaGenome Atlas，这是一个利用AI绘制人类基因组功能元件图谱的综合资源。该图谱提供了跨细胞类型的调控活动预测，帮助研究人员更好地理解基因调控及其在疾病中的作用。

纽约大学数学家Tristan Buckmaster发布了关于纳维-斯托克斯方程存在性与光滑性问题的论文/声明，这是克雷数学研究所七大千禧年大奖难题之一。该工作在Hacker News上引发了广泛关注，获得超过1100分和490多条评论。

三星和台积电宣布将采用ASML的高数值孔径极紫外光刻机，与英特尔一起同意一项关键技术变革，有望将芯片产量提升40%。这标志着半导体行业广泛采用高NA EUV技术，每台机器成本高达4亿美元，可制造更小、更强大的AI和消费电子芯片。

OpenAI声称已解决纳维-斯托克斯方程，这是困扰数学家近90年的七大千禧年大奖难题之一。该公司使用比GPT-6 Astra更强大的内部AI模型，配合10,000个并发智能体完成了这一突破。该声明在科学界引发了广泛争议和审视。

Meta推出了名为Muse的个人AI助手，旨在协助用户完成各类数字工作流程。该平台与Meta生态系统深度整合，致力于提供更个性化和上下文感知的AI体验。

Deltafin项目展示了在MacBook Pro上以每秒1个token的速度运行Kimi K3 2.8T参数模型，通过从四个SSD流式传输权重实现。这展示了在消费级硬件上对超大规模语言模型进行本地推理的出色优化能力。

Jellyfin 12.0 是一个重大稳定版本，完成了 10.11 启动的数据库转换，带来了显著的性能提升，并新增了对书籍和漫画的长期支持。升级需要完整手动备份、强制重新扫描媒体库，且用户必须运行在 10.10.7 或以上版本，因为数据库架构已更改并引入了大小写不敏感的用户名机制。

Ladybird浏览器2026年8月更新带来重大改进，包括Twitch视频播放、扩展的YouTube编解码器支持（AV1、H.265、H.264）、CSS滚动吸附、DevTools中的JavaScript调试以及可暂停下载。引擎性能成为持续关注重点，新增样式引擎、布局缓存，CSS动画移至主线程之外，CSS解析和渲染管线迁移至Rust。

作者通过从archive.org的浏览器存档中提取旧根证书，成功分解了1990年代某证书颁发机构的RSA密钥。现代计算能力使得早期Web PKI时代的小RSA密钥（当时尚无最低标准）可以在普通台式机上被分解。

AI编程助手Devin的开发商Cognition以480亿美元估值融资20亿美元，较四个月前260亿美元的估值大幅跃升。其年化收入从4.92亿美元增至9亿美元，由Andreessen Horowitz、Accel等领投。这一估值表明投资者认为AI编程市场并非赢家通吃，而是能容纳多个主要玩家。

探索公司（TEC）融资4.5亿美元，号称欧洲航天公司史上最大C轮融资，致力于研发可重复使用航天器，挑战SpaceX的市场主导地位。这笔融资彰显了欧洲在商业航天发射领域的雄心。

Google正在重启位于爱荷华州的一座核电站，美国能源部已批准提供19亿美元的贷款支持该项目。这一举措标志着谷歌在为其日益增长的数据中心运营获取清洁能源方面迈出了重要一步。

Chrome已正式将更新周期从四周缩短至两周，随着Chrome 153的发布，这一调整旨在更好地应对AI驱动的安全威胁。更快的发布周期还能缩小N天补丁差距，并加速功能迭代，以应对来自AI驱动替代浏览器的日益激烈的竞争。

法国AI实验室Mistral以210亿欧元估值完成30亿欧元D轮融资，由三星、Scaleup Europe和PSG Equity领投。这笔融资凸显了欧洲主权AI倡议日益增长的商业动能。

一名白帽黑客利用Blockstream旗下Liquid Network的漏洞盗取了约3.4亿美元的比特币，并在漏洞修复后同意归还大部分资金。约4000枚被盗比特币中已有约3400枚归还，剩余约600枚（约4700万美元）仍由黑客控制。Blockstream已暂停运营，等待进一步安全修复。

美国最高法院裁定，广播电台必须将"最低单位收费"广告折扣扩展至政党和联合筹款委员会，而不仅限于个人候选人。该裁决在选举广告60天窗口期前夕作出，被视为共和党竞选委员会的胜利，尽管民主党候选人此前在上诉法院层面曾获胜。

Google发布了WeatherNext v3，其AI天气预报模型新增了直接摄入原始卫星数据的能力，而不再仅依赖再分析数据。这一改进缩短了当前大气状况与预报生成之间的时间延迟，提升了预测精度，同时也弥合了AI模型与传统物理模型在数据输入方式上的差距。

Google已遵守欧盟《数字市场法》(DMA)要求，重新调整了欧洲地区的旅行搜索结果显示方式，但声称此举严重降低了用户体验。酒店和航班的即时价格与可用性等功能将被移除，取而代之的是指向专业搜索引擎的链接和缺乏实时数据的轮播展示。欧盟委员会今年7月因Google在旅行和购物搜索中偏袒自家服务而对其处以4.6亿欧元罚款。

中国科学家研发出一种受蛋壳力学启发的新型铝材料，可为下一代航天器提供更强的太空碎片防护。该设计利用了蛋壳的卵形几何结构和结构刚性，能够高效分散冲击力以抵抗破裂。

Stoke Space完成10亿美元E轮融资，总融资额达23亿美元，但公司尚未进行轨道发射。同时宣布开发更大的Block 2 Nova火箭（15吨入轨），并计划明年进行首次发射。

OpenAI发布了ChatGPT Images 2.5，在多轮指令遵循、响应速度和参考照片主体保留方面均有提升。API新增两个模型：gpt-image-2.5-sunburst（高精度编辑）和gpt-image-2.5-flare（快速日常生成），目前通过ChatGPT Images和API已生成超过30亿张图像。

Inception Labs 推出了 Mercury 2.5，这是其 AI 产品的更新版本。此次发布代表了其产品线的重大迭代，可能在性能和功能上有所提升。

Quesma对Qwen3.8 27B模型在不同量化级别下进行了基准测试，发现4比特量化能保持较强性能，而1比特量化会导致模型质量严重下降。该分析为内存受限环境下的LLM部署提供了实用指导。

Blackmagic Design发布了DaVinci Resolve 21.1，这是其专业视频编辑和调色平台的次要更新。该版本通常包含错误修复、性能改进以及对21.x重大版本中引入的AI工具的增量功能增强。

FreeBSD 14.5-Release 已正式发布，继续为 14.x 稳定分支带来常规更新和改进。该版本遵循 FreeBSD 14.x 系列的常规发布周期。

Copperhead 是一款 AI 驱动的工具，将类似 Cursor 的智能代码辅助功能引入电路板设计，让硬件工程师能够使用 AI 进行 PCB 布局和设计任务。该项目在 Hacker News 上分享，获得了 196 分和 76 条评论的中等社区关注。

作者将Xteink X3电子墨水屏改造为网络打印机，通过实现IPP协议和Bonjour服务发现，让Mac可以直接打印到该设备。自定义服务名为'penguin'，支持300dpi单色输出，接受Apple raster和PWG raster格式。

Rust 1.100 将空类型（! 或 never）引入所有类型注解，而不仅限于函数返回类型。文章解释了空类型与底类型的核心区别：Rust 的 ! 不需要子类型支持，而底类型依赖子类型系统才能被用于任何位置。

CERN正在将其部分加速器控制系统从CentOS Linux迁移至Debian，该方案在MiniDebConf Winterthur 2026上由工程师Federico Vaga和Nikos Tsipinakis介绍。此次迁移旨在应对CentOS Linux即将停止维护的问题，确保大型强子对撞机计算基础设施的稳定运行。

Austin Henley认为，尽管类型推断被广泛采用，但它可能阻碍代码理解并增加认知负担。他指出开发者在阅读代码时通常需要理解变量类型，而当类型从名称或字面量中不明显时，推断反而会增加难度。

一位开发者与协作伙伴DNEK将完整功能的扫雷游戏压缩至仅247字节的JavaScript代码，支持8x8棋盘、左键打开、右键标记、递归开格和胜利检测。该成果从658字节版本起步，经过数月协作优化最终达成。

黑客正在利用Claude订阅账户消耗用户令牌，该问题上月由一名用户首先发现。Anthropic已就此向用户发出警告。

Meta推出了个人AI助手Muse，该助手希望访问用户的电子邮件、日历、支付和健康服务等，这是该公司迄今为止最大规模的消费者AI举措。此举是对消费者是否仍信任Meta处理敏感个人数据能力的一次重大考验。

一位纽约大学数学家指控OpenAI在纳维-斯托克斯存在性与光滑性问题（Navier-Stokes existence and smoothness problem）上存在不道德行为。该问题拥有100万美元的克莱数学研究所悬赏，是数学界最具声望的未解问题之一。

Poseidon Aerospace在首次无飞行员试飞前获得了6000万美元融资，旨在通过消除飞行员来彻底改变货运航空的经济模式。该公司正在开发自主货运飞机技术，有望大幅降低航空货运的运营成本。

Stoke Space已完成10亿美元E轮融资的初始交割，资金将用于实现入轨目标并开发更大的下一代火箭。该公司将自己定位为SpaceX在可重复使用发射市场的直接竞争对手。

核能初创公司Bluecore Energy在成立仅两个月后宣布完成5000万美元种子轮融资，且已超额认购。此前该公司已完成1000万美元种子前融资，显示出投资者对新一代核能技术的强烈信心。

Opendoor创始人Eric Wu创立的NavigateAI正在打造AI助手，通过智能手机和Meta AI眼镜为建筑工人提供实时免提指导。该公司已获得Elad Gil、Khosla Ventures和Lennar的2500万美元投资，旨在应对严重的建筑业劳动力短缺问题。

白宫制作并发布了一款反移民主题的俄罗斯方块克隆游戏

《Free Stars: Children of Infinity》作为《The Ur-Quan Masters》的官方续作，由原班创作者开发，现已推出免费战斗演示版本，登陆Steam和GOG平台。演示包含近40艘飞船的街机式舰队对战，支持Windows、Mac和Linux。

一项新研究表明，电动汽车电池在行驶15万公里后仍能保留约90%的原始可用容量，打破了人们对电池衰减的普遍担忧。这一发现有望大幅提升消费者对二手电动汽车市场的信心。

索尼澄清其Thalgau光盘制造工厂在2028年的产量将仅减少10%，而非此前报道的90%。公司仍计划于2028年1月淘汰游戏光盘，但过渡将比最初预期的更为渐进。

OpenAI 发布了 ChatGPT Images 2.5，新增 Sketch 功能，用户可直接在 ChatGPT 中绘制草图来生成详细的 AI 图像。该功能通过输入 @Sketch 激活，用户还可以直接在生成的图像上留言评论。

Meta推出个人AI助手Muse，可自主完成网购、发邮件、规划行程等日常任务。该产品是Meta数十亿美元战略调整的一部分，旨在缩小与OpenAI、Anthropic和Google等竞争对手的AI差距。

一群Claude订阅用户提起集体诉讼，指控Anthropic在Max订阅层级上虚假宣传，承诺的内容与实际不符。该诉讼由曾在Lina Khan领导下的FTC工作的Monica Vaca和Kati Daffan两位律师发起，是对AI公司定价策略的罕见法律挑战。

任天堂在Switch 2发布会上自信地展示《塞尔达传说》系列，正面迎战即将发售的GTA VI。发布会重点介绍了Switch 2版《时之笛》重制版、真人电影片名、交响音乐会以及特别版Switch 2主机。

特斯拉Cybercab乘客在中央显示屏上发现了一个隐藏的虚拟摇杆，可以在没有方向盘和踏板的情况下手动控制车辆。该功能似乎仅供特斯拉员工使用，但其存在引发了关于该车完全自动驾驶能力的质疑。

亚马逊已在多个地区网站（包括美国和英国）下架Kindle Colorsoft Signature Edition，显示为暂时缺货。虽然这可能只是供应链问题，但多地同步下架引发了外界猜测，亚马逊可能即将发布新款Kindle设备。

一篇Hacker News帖子展示了一个LLM注意力可视化工具，托管在ishamf.dev。该项目允许用户可视化大语言模型中的注意力机制工作原理，可能提供交互式方式来理解token到token的注意力模式。

GitHub项目'I-have-ADHD'提供了一个技能，帮助编程AI代理提供简洁、结构清晰的回答，避免用冗长细节淹没用户。该工具解决了AI编程助手常将关键信息埋藏在大量解释中的问题，对ADHD用户尤其有帮助。

在Apple负责密码管理的Ricky Mondello分享了个人指南，介绍如何通过iOS数据可移植性功能在密码管理器之间切换。他演示了从1Password导出到Apple密码的过程，强调是passkeys和passkey社区推动了这一互操作性标准。该功能支持Bitwarden、Dashlane和DuckDuckGo等多家应用。

开发者Henri Bergius解释了他将默认软件许可证切换为EUPL-1.2的原因，他认为宽松开源许可证使大公司受益，却损害了用户和开发者的利益。他主张EUPL等强copyleft许可证能堵住SaaS漏洞，确保无论以何种方式分发都能实现互惠许可。

本文探讨了极端服务端渲染（XSSR）的概念，首先回顾了传统的旧式和新式服务端渲染方法，然后研究了当HTTP响应以极慢的人体速率发送时会发生什么。文章使用基于netcat的演示来说明浏览器如何处理逐字符的HTML交付。

本文介绍了如何通过 Hurricane Electric 的 tunnelbroker.net 服务注册 IPv6 地址，并利用 ip6.arpa 反向 DNS 记录来托管网站，从而获得免费的 .arpa 域名。虽然 .arpa 域名保留用于互联网基础设施，不对外公开注册，但作者展示了利用现有 DNS 基础设施的创意变通方法。

Ben逆向工程了他的Egret GT电动滑板车的硬件和固件，分析了组件间的通信并发现了通过蓝牙进行固件更新的功能。他通过研究移动应用的蓝牙处理程序，了解了滑板车与应用之间的数据传输，包括电机电流和电池电压等隐藏指标。该项目最终引导他用Rust为显示屏编写了自定义固件。

Emacs 极简入门配置套件 Bedrock 2.0 正式发布，要求 Emacs 31。此次更新在所有 .el 文件中启用了 lexical-binding，大幅改进了 tree-sitter 配置，并用内置功能替代了 wgrep 等第三方包。

本文探讨了残留在网站上的过时HTML代码片段，这些片段是浏览器战争和第三方集成时代的遗物，例如用于针对特定IE版本的X-UA-Compatible元标签。文章分析了浏览器竞争、厂商扩展和平台特定hack等环境因素如何导致这些现已无关的代码片段被嵌入网页标记中。

作为 GSoC 2026 的一部分，Henrique Brito 使用 Linux Test Project (LTP) 测试 NetBSD 的 compat_linux 系统调用兼容性层。项目包括在 NetBSD 下编译 LTP 测试、修复 linux_glibc_devel 等构建依赖，并记录系统调用模拟行为。

作者描述了一种DIY方案，通过在家庭实验室后端使用拨号IP，利用cron任务轮询连通性并在IP变更时通过SSH更新反向代理VPS的配置。该方法避免了第三方动态DNS服务，仅依靠简单的shell脚本、curl和SSH在重连后15分钟内保持反向代理同步。

Rivian旗下微出行子公司Also就其高科技电动自行车TM-B的发货延迟道歉。这款电动自行车采用软件控制的线控踏板系统和USB-C充电电池，去年发布时曾引发广泛关注，但复杂的技术架构导致生产瓶颈，交付时间推迟，令客户不满。

雷蛇BlackShark V3 Pro游戏耳机在Woot上降价100美元，售价164.99美元。推荐购买Xbox版本，因为它同时兼容PlayStation、PC、Switch和移动设备，相比V2 Pro新增了主动降噪和2.4GHz/蓝牙双连接功能。

Simon Willison 发布了 llm 0.35，这是其流行的命令行 LLM 访问工具的更新版本。此次发布新增了对 OpenAI 新模型 GPT-6 Astra 的支持，可通过 gpt-6-astra 标识符访问。

Bigme B6 Pro Color是一款6英寸紧凑型电纸书，搭载Android 14系统，支持完整的Google Play商店访问，配备高分辨率屏幕和可扩展存储。该设备将电子墨水阅读与通用Android应用功能相结合。