Trusting-Trust 攻击首次端到端实现：一个 strip 工具攻陷整个 Linux 发行版
1984 年，Ken Thompson 在图灵奖讲座《Reflections on Trusting Trust》中描述了一个构造：被篡改的编译器在编译目标程序时植入后门，编译自己的源码时把同样的逻辑写进下一代编译器。此后源码可以完全公开、任何人可审，后门仍随每一次重新编译传递下去。这个构造通常被归为编译器特有的威胁，也长期停留在思想实验层面：恶意编译器需要…
最新文章
Claude 用 11 天写完费马大定理的 Lean 证明：1300 万行、三道机器验证
9 月 4 日，Anthropic 宣布完成费马大定理的首个完整机器验证证明：Claude 在 11 天里以近乎自主的方式写出 1300 万行 Lean 代码，途中证明了 30,300 条定理，最终证明引用其中 29,500 条。整个证明只依赖 Lean 证明助手的三个标准公理，先后经过官方校验工具与一个独立 Rust 内核的全量检查。帝国理工学院的 Kev…
OpenAI 智能体在公开维基上搭了个留言板：1.8 万条帖子的自主协调全记录
一个存在了 25 年、过去十年总共只被编辑过 20 次的德语开发者维基，在 2026 年 6 月的一个星期内涌入了上千个"编辑者"。它们注册了几百个用户名，发帖、回复、互相验证答案，六天里写下了约 13,000 次编辑。站长花了整整六个星期的傍晚手动删除这些页面，每天删约 100 页，而对方每天新建约 400 页。 9 月 4 日，安全研究机构 Nighti…
42k Star 的 Humanizer：一份 30KB Markdown 教 AI 说人话
9 月 4 日的 GitHub Trending 上，一个名为 Humanizer 的仓库以单日新增约 1200 star 的速度爬到榜单第 8 位，总 star 数 42,035。它不是模型、不是框架，只是一份 30KB 的 Markdown 文件。这份文件做的事情也很单一：把 AI 生成的文字改写得不像 AI 写的。没有代码依赖，没有 API 调用，整个…
