Bitduke

AI 代理正将安全证明从手工制作推向规模化生产。v12 和 Zellic 表示，这是首个已发布的、覆盖整个 x86 程序运行过程的证明，直接在 CPU 执行的原始机器码上进行验证，就像检查建成的桥梁，而不是蓝图；还有第二个类似的】【。

有意思，据《纽约时报》报道，众议院司法委员会的民主党高层刚刚提交了一份法律意见书，称司法部在9月越权了。当时，司法部告诉法院，AI训练属于合理使用，而且AI对国家安全的价值超过了对出版商造成的损害。没错，这只是众多法律意见书中的一份】【。

据《金融时报》报道，OpenAI突然需要$10B 更少；它现在正寻求以1.25万亿美元的估值融资约200亿美元，低于此前的300亿美元和1.4万亿美元估值。人工智能方面的担忧重挫科技股（我们基本上又回到了7月的水平）。我想知道其他人是否也会开始……

我发现这里有些相似之处：glm-5.3 / fable 5.1 / glm-5.3-flash

这件事相当令人不安。Anthropic 基本上操纵了一场让 Claude 对抗自家安全过滤器的较量：它把过滤器原样交给 Claude，并让它编写训练数据，让一个小模型在各方面都变坏（涌现式错位）。结果 Claude 赢了！它居然是靠写故事做到的。

研究数字堡垒模式

我真是服了，20分钟就拿到和解报价了，律师们准备好跟上智能体了吗？

抱歉，我买电脑自用前，没先咨询全球 DRAM 分配委员会。

重大消息，Anthropic 正在取消已验证 Ultra 订阅用户的 5 小时限制（此前是 max 20x）！大多数现有订阅用户会优先获得这项调整，而较新的账户会继续受到限制，直到通过自动验证（届时你可能会收到一封邮件）

要在一家大型加密货币交易所做一名优秀的 DevOps 工程师，究竟得有多偏执？

<...> 高度确信朝鲜应对这起涉资64亿美元的黑客攻击负责

Grok 4.8 会不会终于成为 xAI 达到业界顶尖水平的里程碑？迫不及待想试试了！

这不是我梦寐以求的对齐方式。

需要考虑的事项

如果某样东西可以被黑客攻击，它就一定会被黑客攻击。我们正生活在一个新的范式中。