Hacker News 中文摘要

当 AI 编码智能体（AI coding agent）帮你工作时，大部分消耗并非用于思考，而是 I/O。比如为了回答一个方法相关的问题读取五个文件，或是生成与旁边二十个测试文件模式完全相同的测试文件，又或是会议后更新文档。成千上万的 token 被消耗，却几乎没有用到推理能力。真正让人头疼的不是席位许可费用，而是 token 开销，而你还在把所有这些工作都交给能力过剩的前沿模型处理。

Anthropics（anthropics）在 Lean 4 中完成了费马大定理（Fermat's Last Theorem）的完整机器检查证明，基于 Mathlib（Mathlib）构建，所用版本为 Lean 4.33.1、Mathlib v4.33.0，按 lakefile.lean 中的提交固定。证明思路沿用 Frey、Serre、Ribet、Wiles 与 Taylor-Wiles 的论证。

严格说，大语言模型（LLM）是“下一个词元预测器”这种说法并不算错，但不完整，只是零阶近似。它立足的真实情况是：基于 Transformer 的语言模型以自回归方式发出词元；预训练时，模型反复依照前序词元，让实际接续的那个词元更可能被采样。

宾夕法尼亚州选民正团结起来反对数据中心项目，担心这些设施将给当地社区带来负面影响。一位居民直言“人们会吃亏”，表达了对电力消耗、环境负担等问题的普遍忧虑。这场抗议跨越了党派界限，反映出基层民众对科技基础设施扩张的抵制情绪。

盖洛普（Gallup）于2026年9月2日公布的最新民调显示，89%的美国民众认为政府内部存在广泛腐败，这一比例创下历史最高纪录，凸显出公众对政府诚信度的评价持续走低。

OpenAI（OpenAI）推出的 GPT-6 Astra 是其面向高要求端到端任务的旗舰模型，适用于高级分析、软件工程、深度研究、科学工作及文档创建，在长周期自主任务处理方面具备突出优势，可满足多领域复杂场景的应用需求。

deSEC（deSEC）是一项免费的 DNS 托管服务，设计之初就将安全性作为核心考量。该服务基于开源软件运行，由 SSE 提供支持，面向所有人免费开放使用。所有托管在 deSEC 的 DNS 信息均会始终使用 DNSSEC 进行签名，并采用最先进的椭圆曲线加密技术。

谷歌 Chrome（Google Chrome）152.0.7977.82 之前版本中，V8 引擎存在类型混淆漏洞，远程攻击者可通过构造的 HTML 页面在沙盒内执行任意代码，Chromium 安全团队将此问题评定为高危等级。

2026年8月4日 oxc 团队发布 Rust React Compiler 的官方支持后，我们将拥有1036个文件的 React Router 代码库 Outlyne（一个网站构建工具）切换至该编译器，构建的编译器部分速度提升了约17.6倍。v6.1.0版本的 @vitejs/plugin-react 带来了实验性原生 React Compiler 支持，可通过在 Vite 配置中向插件传入 { compiler: true } 启用。

StaticHost.eu 是一家 100% 欧洲（European）的静态网站托管服务商，不仅服务器位于欧洲，运营公司、基础设施及服务理念均源自欧洲，从部署到 CDN 分发环节都遵循欧洲相关规范与价值标准。