Hacker News 中文摘要

一辆特斯拉（Tesla）Model 3在新泽西州布埃纳维斯塔镇未停停车标志，撞上左转的本田思域（Honda Civic），思域司机、82岁的斯蒂芬·菲尔德（Stephen Field）死亡。警方称车辆未停车，但特斯拉数据显示驾驶辅助系统当时已开启。2025年7月6日周日晚6时57分左右，新泽西州警接到报警，称大西洋县布埃纳维斯塔镇切斯特纳特大道与671县道交汇处发生撞击，特斯拉司机与三名乘客受中度伤送医。

是时候让马克·扎克伯格（Mark Zuckerberg）从 Meta 辞去首席执行官职务了，这位高管在位期间推动公司向元宇宙转型，但相关项目持续亏损，核心社交平台的用户参与度下滑，广告收入增长放缓，不少投资者呼吁更换领导者。

特斯拉（Tesla）突然停产Solar Roof太阳能屋顶，让负责销售和安装的第三方承包商独自承受冲击。部分承包商向Electrek表示，他们为该项目投入数十万美元，如今几乎血本无归。特斯拉8月起停止供应太阳能瓦片，仅向认证安装商提供传统太阳能板。过去约七年，特斯拉在全美仅安装约3,000套Solar Roof系统，高峰时每周也只有21至32套，比马斯克（Elon Musk）承诺的每周1,000套低逾95%。

地块视界（Parcelscope）洛杉矶项目以每个方框代表今天留存的一栋建筑，按建成年份出现，途中被拆除的不显示，呈现的是幸存城市而非原貌。1880年已有0栋当今建筑建成。建筑高度一层中位数16英尺，缩放缩小时高度被夸大。数据源自LARIAC 2020建筑轮廓与洛杉矶县评估员卷宗，可拖拽平移、右拖或Ctrl拖倾斜视图。

2026年9月4日，联邦上诉法院裁定美国宪法不保障清洁饮用水权，驳回密西西比州杰克逊居民就铅污染供水系统提起的诉讼。第五巡回上诉法院维持下级法院裁决，驳回居民2022年诉讼。原告普里西拉·斯特林（Priscilla Sterling）等四人称城市故意让居民饮用不安全水，主张水污染违反第十四修正案正当程序条款下的身体完整宪法权利。

时至如今，人们应当察觉，开放人工智能（OpenAI）绝不是出自怜悯之心，在20美元订阅方案里无偿提供价值数千美元的计算力。那些基础套餐本就不是为任何严肃工作而设，超出类似谷歌搜索的范围便难胜任，顶多当作试用。

比尔·盖茨（Bill Gates）在2003年1月15日发给吉姆·奥尔钦（Jim Allchin）的邮件里，对Windows可用性倒退、程序管理组不解决易用问题感到失望。他提到前一天想下载影音制作（Movie Maker）并购买Digital Plus包，便上了微软（Microsoft）的Microsoft.com下载区。头5次打开下载页都超时，等了8秒延迟才出来，觉得网站慢得没法用。因不在前5项里，他点开其余45项，发现那些名称令人困惑。

有人确信代码笔（CodePen）2.0 一直自动保存，因此觉得输入时数据发往服务器合理，并假定代码终会送至后端。另有回复确认此行为用于自动保存与渲染，提醒在其中键入或粘贴的任何密钥均视为已泄露。还有人虽不解为何在默认公开的该平台粘贴密钥，但称约十年前便似乎自动保存或传代码到后端。

大语言模型支撑着广泛应用，但大规模服务需要精细优化。标准自回归解码作为主流基线，严格按从左到右顺序逐 token 生成并提交，简单可靠却每次只推进一个 token。推测解码（speculative decoding）在此基础上引入草稿-验证机制：由轻量草稿组件先提议候选未来 token，再由目标模型在提交前一次性验证，从而在单次前向传播中确认多个草稿 token，以提升输出吞吐。

就在 Claude 用 Lean 完成费马大定理证明形式化的同一周，一篇题为《球面哈德维格定理》的论文出现。球面哈德维格猜想自 1974 年左右悬而未决，描述的是积分几何中虽冷门但重要的一件工具。湖南大学 Wang 与 Wu 的新预印本似乎借助人工智能证明了该猜想，并在文末免责声明中写道，OpenAI Codex 被用来协助打磨证明细节、定位漏洞与需澄清处、组织排版并润色英文。