1. LG显示器通过Windows Update未经许可静默安装推广软件；
2. GPT-5.6 用提示工程封闭凸优化领域长达30年的复杂度差距；
3. 为什么 AI 公司的标志看起来都像肛门？(2025)；
4. Kimi K3 时刻；
5. 欧盟未售衣物鞋履销毁禁令正式生效；

以上是今天的前五条黑科技新闻标题。

总共25条，具体内容您往下读…

1. LG显示器通过Windows Update未经许可静默安装推广软件

🔗 videocardz.com: LG monitors silently install software through Windows Update without consent

Gamers Nexus 发现，将某些 LG 显示器连接至 Windows 电脑后，系统会通过 Windows Update 静默安装 LG Monitor App Installer 应用，整个过程不显示任何同意提示。该应用在 32 次启动测试中，有 31 次弹出 McAfee 订阅推广 窗口，诱使用户从 30 天试用转为付费订阅，仅在 1 次启动中推广 LG 自家工具。这一问题不仅限于新机型，三年多前购买的 LG UltraFine 显示器同样会中招。该应用在微软商店中声明可访问所有系统资源，隐私范围令人担忧。戴尔也通过类似方式自动推送 Alienware Command Center。用户可通过 组策略 启用“阻止自动下载与设备元数据相关的应用程序”来屏蔽此类行为，但可能会同时拦截有用的外设驱动。

2. GPT-5.6 用提示工程封闭凸优化领域长达30年的复杂度差距

🔗 old.reddit.com: GPT-5.6 used a prompt to close a 30-year gap in convex optimization

一位加州大学伯克利分校的应用数学教授在 Reddit 上披露，他使用 GPT-5.6 Sol Pro 模型，在一次 148 分钟 的会话中，成功证明了一个自 1996 年以来悬而未决的凸优化复杂度下界。该问题关乎在仅能获取函数值（无梯度信息）的零阶优化设定下，找到 ε-最优解究竟需要多少次查询。此前，上界为 O(d²)，下界却长期停滞在 Ω(d)，本次证明确认了二次维度依赖的必要性，从而彻底封闭了这一基础性缺口。作者借鉴了 OpenAI 近期证明“圈双覆盖猜想”时所用的提示工程方法论，将长达十页的提示输入模型，最终获得的关键证明已在形式化证明助手 Lean 中通过验证。他认为这显示当前 AI 已能系统性地攻克依赖现有技巧拼接的“中低垂果实”，未来数学与理论计算机科学研究需要转向亟需真正新颖范式的难题。

3. 为什么 AI 公司的标志看起来都像肛门？(2025)

🔗 velvetshark.com: Why do AI company logos look like buttholes? (2025)

从 OpenAI 到各大 AI 巨头，其品牌标志不约而同地采用圆形渐变与中心开口的设计，活像一个个肛门。OpenAI 将自家“绽放”标志阐释为“人性与技术的动感交汇”，却难掩其身体部位的既视感。最确凿的证据来自 Anthropic 的 Claude 标志：它不仅在造型上与冯内古特书中的肛门插图惊人吻合，点击时还会收缩与放松。这种“括约肌美学”的泛滥，源于圆形自带完整友善的心理学暗示、无意识仿生，但最大的推手是跟风效应——一家用“菊花”成功了，其他家便唯恐显得不专业而群起效仿。文章梳理由 3D 光泽、扁平化直至当下“肛门时代”的设计史，尖锐指出委员会式求稳导致千篇一律，并建议用锐利几何、巧妙负空间加以破局，且务必请青少年审图，因为他们的鉴污能力无出其右。

4. Kimi K3 时刻

🔗 stephen.bochinski.dev: The Kimi K3 Moment

在实际编程工作中，我同时使用 Kimi K3 与 Claude，已无法从任务品质、输出结果和消耗的 token 数上区分它们。K3 的 API 价格仅为每百万输入 token 3 美元、输出 15 美元，远低于 Claude 的 10 美元与 50 美元；订阅方案更是悬殊，Kimi 的 19 美元起步档位远比 Claude 同一价位慷慨得多。Claude 的廉价套餐因经济上无法维持，悄无声息地关闭了顶尖模型访问，而 Kimi 没有这类猫腻。这折射出 美国 AI 政策的彻底失败：受束缚的模型拒绝大堆工作，而中国实验室发布的前沿开放模型毫无此类限制，美国客户独受约束。GLM 5.2 以 MIT 许可击败 Claude 的基准，GPT‑5.6 也摆脱了同样的政府关卡。照此趋势，政府将以汽车业旧脚本干预，用补贴与关税扶持仅在本土使用的低质模型，最终美国成唯一无法获取最优模型的国家。在那之前，我没有理由继续为 Claude 付费。

5. 欧盟未售衣物鞋履销毁禁令正式生效

🔗 environment.ec.europa.eu: EU ban on destruction of unsold clothes and shoes enters into application

从2026年7月19日起，欧盟大型企业被 禁止销毁未售出的服装、配饰和鞋履，中型企业也将于2030年纳入管制。这项措施依据 《可持续产品生态设计法规》（ESPR） 确立，旨在杜绝宝贵资源被白白浪费，并要求企业优先通过打折销售、捐赠或修复翻新等方式延续产品寿命。仅在商品不安全、破损、侵权或被慈善机构明确拒收等极少数例外情况下，企业才可销毁，而且必须提供书面证明并公开年度弃置报告。国家执法机构将负责监督与处罚，企业须留存记录备查五年，小微型企业则完全豁免。据统计，欧洲每年约有26万至59万吨全新纺织品被刻意毁弃，新规将强制推动行业转向更加可持续的 循环经济 模式，使生产、消费与废弃处理真正对齐资源效率目标。

6. 你若组织，他们自来

🔗 benlandautaylor.com: If You Build It, They Will Come

作者分享经验：从线上小众同人圈到影响数百万美元走向的思想运动，融入任何社群的捷径就是成为活动组织者。人们常以为聚会像野生蓝莓般天赐，但每个事件背后都需要辛勤筹备。因为些许辛苦就会劝退多数人，导致搭便车者众多，而真正付诸行动的建设者则脱颖而出，并会被其他建设者赏识。现代社会愈发孤独，根源在于生产社会纽带的传统脚本失落，大家只想消费，不愿生产。你无法要求所有人改变，却能率先在自己的圈子里，从参与者变为供给者，亲手制造联结。这种看似微小的承担，实则是消解社会疏离最有力的个体行动。当你从消费者转变为生产者，不仅能重建社群，也会赢得其他建设者的由衷认可。

7. AI模型对决NP-Hard难题：/goal模式为何赢多输少却拖累平均分？

🔗 charlesazam.com: Fable 5 vs. GPT-5.6 Sol on an NP-Hard Problem: Does /goal help?

在一项未公开发布的NP-hard光纤网络优化问题（KIRO）上，作者对比了Claude Fable 5与GPT-5.6 Sol在普通模式与/goal模式下的表现。Fable 5展现出惊人的原始智能，不仅产出了全局最优解（31934分），且普通模式下的三次运行得分高度一致，跨幅仅319分，远胜于Sol近2000分的波动。然而，/goal命令的真实面目并非简单的“再加把劲”开关：虽然它在六次对决中赢了四次，但两个模型的/goal平均得分反而比普通模式更差（Fable 5平均变差759点，Sol变差868点）。原因在于/goal改变了控制循环，有时会持续放大一个好的搜索方向，有时却让一个糟糕的初始策略得到更多时间深耕，导致灾难性回归。此外，Claude与Codex对/goal的底层实现截然不同，前者用独立评估模型，后者依赖工作模型自我审计。该实验揭示了一个反直觉的结论：在优化类任务中，一个看似提升胜率的持久化特性，可能因长尾风险而拉低整体平均表现，搜索质量远比循环持久性更关键。

8. Gleam 现已登陆 Tangled

🔗 tangled.org: Gleam Is Now on Tangled

Gleam 是一种友好的语言，用于构建可扩展的 类型安全 系统。该项目不受企业掌控，完全依靠 社区赞助 维持。如果喜欢 Gleam，欢迎考虑赞助项目或核心团队。

9. 将闲置 Mac 变为 Claude Code 完全控制机：全流程指南

🔗 ykdojo.github.io: Setting up your spare Mac for Claude Code to control, a step-by-step guide

本指南展示如何将一台闲置 Mac 变成 Claude Code 可完全掌控的专用环境。从擦除数据、创建无 Apple ID 的本地账户开始，配置 SSH 免密登录与免密码 sudo，利用脚本保持唤醒并同步剪贴板。安装 Claude Code 并可选搭建开发工具后，通过 LaunchAgent 与 tmux 突破 SSH 限制，实现远程计算机使用（屏幕截图与鼠标键盘控制），让 Claude Code 如同操作本地 GUI 应用。最后借助 ic.sh 脚本便捷管理多个会话，甚至能用手机通过 Claude App 远程控制，彻底隔离风险，使开发与研究任务安全地运行在独立 Mac 上。

10. Elixir-lang.org 网站全新设计亮相

🔗 elixir-lang.org: Elixir-lang.org has a new design

Elixir 语言以帮助开发者编写清晰且有目的性的代码为宗旨，聚焦数据与业务领域。凭借不可变性、内存安全以及渐进类型系统，您能构建出易于维护、并能从容应对故障的可靠系统。

11. 纽约市长马姆达尼重拳出击：禁止房东利用AI图像虚假宣传

🔗 petapixel.com: Mayor Mamdani Says Landlords Can’t Use AI Images to Advertise

纽约市长马姆达尼继“点击取消”规则后，发布“租金欺诈报告”，严厉打击房东利用人工智能修改的房源图片进行欺骗性宣传，并全力推动强制披露AI使用情况。这一政策源于上任首周举行的听证会，2400名市民当场控诉霉菌、害虫未治理以及图片与实情严重不符等问题，尤其对需远程签约的新居民构成陷阱。报告还要求正式承认租户工会、扩大议价权，将租户的真实遭遇转化为具体行动，确保人人享有安全住房并让失责房东承担后果。

12. 运河底的计算机

🔗 negroniventurestudios.com: The Computer at the Bottom of a Canal

1988年，苏格兰高保真公司Linn耗巨资研制了名为Rekursiv的处理器，它在硬件中实现了内存安全访问检查、垃圾回收、单一持久化对象存储，并将内存与磁盘视为一体。这种对象能力架构因受制于当时微处理器性能的指数级增长而夭折，未能量产。然而，近四十年后，其四项核心设计理念——硬件内存安全（如CHERI）、硬件垃圾回收辅助、单级存储以及领域专用架构——已悉数重回芯片主流，验证了当年被嘲讽的远见。该故事揭示，通用处理器的黄金时代只是算力稀缺的暂时妥协，如今曲线终结，专业化定制硅基架构正成为新常态。

13. Steam Machine周销量揭密：1.2万至1.5万台

🔗 boilingsteam.com: Steam Machine: Between 12k and 15k Units Sold per week

Valve从不公布硬件销量，但借助Steam全球畅销榜按收入排序的机制，可通过营收边界反推。该榜单以24小时滚动窗口加权，所有消费一视同仁，高价硬件只需在营收上持平软件即可。当前 Steam Machine位居全球畅销榜第二，夹在《CS2》这座每周吸金约1900万至2000万美元的固定天花板，与下方第三名需700万至900万美元周营收的动态软件之间。结合两款配置的售价（1049美元和1349美元）及65%基础版、35%高配版的购买分布，得出约 1150美元均价，由此框算出周销量稳定在 1.2万至1.5万台 区间。这一数字表明Steam Machine并非主流爆款，而是面向客厅SteamOS体验的小众高端设备，年化推算约60万至75万台，且后续可能因需求自然回落、竞品迭代而放缓。

14. 为获取多巴胺而生的虚假外卖网站

🔗 old.reddit.com: Fake food delivery site for the dopamine

一位Reddit用户分享了一个名为 “FoodNeverComes” 的奇特网站，它能让你完整体验浏览菜单、装满购物车并下单付款的整个外卖订购仪式，甚至还能在界面上观看“配送员”向你赶来，但最终永远不会有真实食物送达。这个网站的初衷，正是为了帮助那些与暴食障碍抗争的人们，通过模拟点餐过程来获取脑内产生的多巴胺快感，从而缓解对实际进食的冲动。有网友惊呼这简直是“精神上的充气娃娃”，认为它切中了强迫性点餐行为成瘾的核心；也有尝试者表示模拟过程反而让他们感觉更饿了；还有人幽默地抱怨网站缺少优惠券选项和真实地图追踪，沉浸感不足。这个独特的设计引发了关于现代人如何与饮食冲动、消费仪式共处的热烈讨论。

15. REO Trucks I4 四驱皮卡仅售2.15万美元

🔗 reotrucks.com: REO Trucks I4 4WD Pickup Truck Starts at $21,500

REO Trucks 推出的 I4 四驱皮卡起售价仅为 21,500美元，专注服务仍占新车销量九成的 燃油车市场。他们刻意选择后发策略，以 成熟可靠的汽油技术 替代前沿方案，实现超低入手门槛。该车拥有约 600英里续航 和 5分钟快速补能 的实用优势，旨在让更多美国消费者轻松拥有皮卡。

16. 终端命令打字测速：开发者专属手速训练场

🔗 haxxorwpm.0s.is: Typing Speed Test, but for Developers

该工具将传统的打字测试巧妙替换为 Linux终端命令，让开发者检验自己的“终端手速”。提供30/60/120秒三种时间模式，实时追踪 WPM（每分钟单词数）、准确率、输入命令数和错误次数。题库涵盖常见运维操作，如通过 grep 搜索错误日志、使用 systemctl 检查服务状态、用 git pull --rebase 拉取代码、启动 docker compose up -d 等，完美模拟真实工作流。完成每轮练习后，系统会展示原始速度与平衡成绩，支持保存记录至排行榜并自定义姓名与键盘布局。这是一种集趣味与实用于一体的 命令行肌肉记忆训练，帮助开发者提升日常敲击效率，减少语法错误。

17. Qubes OS 安全公开记录：上游依赖的稳定高原

🔗 arxiv.org: Qubes OS Security in the Public Record

该研究通过对 2011 至 2025 年间 109 份 Qubes 安全公告及 Xen 安全公告追踪器进行协议驱动的纵向分析，揭示了 Qubes OS 安全态势的一个核心特征：在公共记录中，高达 79.8% 的漏洞可归因于 Xen、CPU 微架构等上游组件，而非 Qubes 自身的核心逻辑。通过变点分析，研究发现 2015 年第一季度是季度公告序列的主导性断点，此后年披露率在 2018 年后趋于统计上的平稳。在方法上，研究结合了确定性组件归因、过离散诊断及严重性权重检验，确保了泊松推断的稳健性。总体而言，Qubes 的公开公告记录并非沉寂，其披露活动稳定在一个比早期更高的水平上，凸显出安全负担持续集中于上游信任锚的格局。

18. 年轻人为何“指标好看”却依旧贫穷

🔗 xcancel.com: Young adults are poor despite every metric which suggests otherwise

尽管人均收入、就业率和购买力等宏观指标持续改善，年轻一代却在成家立业的核心环节全面溃败。其根源在于，前代人免费享有的社会资本——安全的邻里、优质公立学校、稳定的婚姻市场和可自由探索的公共空间——已基本瓦解。今日的年轻人必须斥巨资逐项“买回”这些祖辈的免费遗产：用高昂房价换取安全社区，以私立教育对冲公立系统的失能，将“放养式童年”替换为天价育儿服务。数据显示，三十岁拥有住房的比例从沉默一代的55%骤降至千禧一代的33%，房价收入比突破5.0，首次购房年龄中位数推迟至40岁；育儿费用四年飙涨三成，婴儿看护成本已超大学学费。这些被GDP计为增长的服务消费，本质上是社会资本崩溃后家庭被迫进行的“回购”，表面的经济进步掩盖了真实的贫困感。当公共品沦为仅靠金钱才能兑换的奢侈选项，年轻一代便掉入了数字乐观但生活困顿的度量陷阱。

19. Codex 重置全记录

🔗 codex-resets.com: Codex Resets

该页面追踪了 OpenAI 旗下 Codex 与 ChatGPT Work 使用限额的突然重置事件，所有公告均由 X 平台上的 @thsottiaux 发布。至今已累计发生 35次重置，平均间隔仅 8.9天，但最长曾有过 67.7天 的沉寂期。每次重置常常伴随着服务中断后的补偿、活跃用户数里程碑的达成（如突破 700 万、800 万乃至 900 万用户），或是新功能发布与节日庆祝。团队不仅频繁执行全量硬重置，还引入了“银行存款重置”机制，让用户能自行安排补充配额，甚至出现过双重重置的惊喜。公告中反复提及 GPT-5.5、GPT-5.6 Sol 等模型，展现了为应对流量激增和维持系统稳定而不断动态调整限额的历程。

20. Q3Edit：在浏览器中编辑并游玩《雷神之锤3》地图

🔗 q3edit.com: Show HN: Q3Edit – Edit and play Quake 3 maps in the browser

Q3Edit 是一款无需安装、打开浏览器即可使用的 Quake III Arena 地图编辑器，支持对 .map 文件进行完整的编辑与保存。它基于 TypeScript 和 WebGL2 构建，提供经典的 Radiant 四视图布局，能够处理笔刷、曲面、实体与地形。最核心的突破在于将 id Software 原版 q3map 编译为 WebAssembly，直接在浏览器内完成 BSP 编译，并一键通过同样运行在 WebAssembly 里的 ioquake3 引擎启动地图试玩。整个编辑器不依赖任何本地游戏文件，内置 OpenArena 资源包，仅需支持 WebGL2 的浏览器即可流畅运作，让创建和测试关卡变得前所未有的轻便。

21. Isomorphic Labs与Google DeepMind的生物韧性之道

🔗 deepmind.google: Our Approach to Bioresilience: Isomorphic Labs and Google DeepMind

Isomorphic Labs与Google DeepMind正式公布生物韧性策略，核心是AlphaGenome——一款借助前沿人工智能技术深入解码基因组的科学利器。该成果预计于2025年6月问世，通过AI解析遗传密码，旨在提升生物系统应对变化的韧性，为未来生命科学带来深远影响，成为基因组学AI里程碑。

22. 孕期使用对乙酰氨基酚与不良出生结局无关

🔗 sph.unc.edu: No link between acetaminophen use during pregnancy and adverse birth outcomes

一项由北卡罗来纳大学教堂山分校吉利斯公共卫生学院牵头、发表在《美国流行病学杂志》的研究，分析了ECHO项目中8900多对母婴，发现约59%的孕妇孕期使用对乙酰氨基酚（泰诺）。结果显示，使用该药与早产、出生体重及小于胎龄儿无显著关联，但与巨大儿风险降低有关。资深作者指出，这些发现为广泛使用的止痛药在出生时机与婴儿体型方面的安全性提供了安心保障。

23. 硬核独立网络：每天仅需0.01美元，实现100%自主建站

🔗 neatnik.net: Hardcore IndieWeb: Run your own website 100% independently for only $0.01/day

本文提出了一种名为 硬核 IndieWeb 的极致自主建站方法，它将网络发布回归到上世纪90年代的原始实践，让你的内容和网站完全由自己掌控。作者指出，即便使用支持导出数据的博客服务，你的内容仍存储在别人的服务器和数据库里，无法实现真正的完全独立。硬核IndieWeb的核心在于，所有内容必须主要存在于你的本地硬盘，且始终保留一份可直接发布的完整HTML副本，这样无论服务商倒闭或出现道德问题，你都能随时无缝迁移，不受任何外部制约。

具体的操作流程极其简单：用任意文本编辑器在本地编写HTML页面，在浏览器中预览，满意后通过文件传输工具上传至虚拟主机。文章推荐使用 NearlyFreeSpeech.net 作为主机，其静态网站托管费用低至每天0.01美元，支持按量付费。你无需依赖任何复杂的模板系统、静态网站生成器或数据库，只需手动维护首页、文章归档页和RSS源，并通过复制、粘贴和直接修改文件来更新内容，这种返璞归真的方式反而能带来前所未有的创作自由，让每篇文章都拥有独特的个性与布局。

24. AI狂热正在摧毁全球决策

🔗 ludic.mataroa.blog: AI Mania Is Eviscerating Global Decision-Making

作者通过亲身经历揭露了当前席卷全球企业与公共机构的AI投资普遍失败——观察到的所有AI项目在一年半内成功率为零，内部聊天机器人无人使用，客户服务机器人承诺落空。管理层陷入非理性狂热，员工若敢质疑便被解雇，幸存者只得被迫宣誓对AI的信仰，甚至通过谎报使用AI来保住工作。更荒谬的是，有人因未用AI就被开除，而技术人员则用AI洗稿的方式应付指标，一边让模型无意义循环消耗令牌，一边自行做好工作再谎称是AI完成。企业痴迷于AI演示而忽视真实问题，整个决策层已被群体性幻觉俘获，清醒的人只能恐惧而无奈地看着组织自毁。

25. 异端：言论审查的现代回潮

🔗 paulgraham.com: Heresy (2022]

本文探讨了异端概念的现代复辟。异端有两大特征：无视真假优先定罪，且能抹消一切过往善行。职场中，因观点被解雇即属此类，‘x-ist’标签就是终止讨论、不问真假的手段。这股不宽容浪潮由攻击性循规蹈矩者推动，他们在1980年代末美国大学兴起的道德纯洁意识形态中集结，宛如微型文革。问题不在言论自由的绝对倒退，而在导数——自1985年不断扩大的窗口开始收窄。但作者乐观，持续抵制将让浪潮崩溃，并孕育抵御未来异端猎杀的新抗体。