Bitduke

7,500 页数学内容 -> 1,600 万行 Lean 代码
Axiom 刚刚使用 AI 智能体集群，将整个《Stacks Project》形式化。它是现代代数几何的基础之一。尤其令人印象深刻的是，他们成功保留了……之间的联系

目前的舆论显然强烈反对数据中心，但我们看看近期是否真的会转化为任何具体行动。

超过 300,000 次内核提交，而 Paradigm 的 Muse Spark Open Kernel Challenge 又给了你一个重新运行代码的理由，为最后一轮内核冲刺做准备——组织方澄清（放宽了？）了规则：允许使用 bf16 精度的近似数学运算、bf16/fp16 部分和，以及 fp16 累加运算，而

这项举措不错，尤其是考虑到安全团队现在有这么多事情要跟进（Mythos！）

你已经不再审查 AI 写的代码了——这是 Addy Osmani 在 X 上的一篇文章发出的警告。他参与 Claude Code 的开发，现在担心工程师会失去批判性思维。AI 已经变得如此出色（这确实是真的），以至于它的成果看起来不再有问题，于是你就不再检查了。首先你

SemiAnalysis 发布了 gdpx 基准测试，即使表现最好的 AI 模型得分也只有约 12%。这家独立的半导体和 AI 研究公司围绕一个问题设计了这项测试：当拥有……时，前沿模型能否独立完成困难且具有经济价值的工作，以及完成得有多好。

问题是，这场席卷美国的蓝色浪潮会像海啸一样冲击数据中心，让一切陷入停摆，还是最终为它们供能？

你能解释一下，你的 AI 最近一次在没有被询问的情况下发布了什么吗？

不再只是 RPC 服务提供商，现在还提供推理服务（不过还在候补名单阶段），宣称可通过兼容 OpenAI 的 API，为 Kimi、DeepSeek 和 GLM 提供低延迟推理。无需 SDK 或 GPU。

基本上，杰文斯悖论仍在起作用。

一家资产达$235B 的法国银行据称损失了超过$133M 的加密货币，链上调查员 ZachXBT 怀疑有人掩盖事实。在最初指出一家未具名欧盟实体在多个中心化交易所的账户疑似遭窃$106M+后，ZachXBT 现在点名了 Crédit

THORChain 正在做它最擅长的事

如果模型开始以我们从未预想过的方式编辑其他模型的权重（真正有趣的部分才刚刚开始） પહોંચ

先是欧洲各地的冰箱，现在又轮到血库？黑客可以远程随意调高温度，这正在成为一种相当令人不安的网络攻击趋势。据《鸭鸣报》报道，血库可能也遭到了类似攻击，攻击者或许利用了过时的#+#+#+#+

没错，权重空间研究现在大概就像几年前的大语言模型，当时它们连小学数学都还搞不定。真难想象再过几年（甚至几个月），它会发展到什么程度。

所以工作流程基本上就是
* 使用中等力度的 Opus 5.5
* 直接和 Claude 对话，让它完成工作
* 给它一台服务器，让它负责加固安全、部署并优化一切
记下了！

据 CrowdStrike 称，一名与韩国银行遭入侵事件有关的攻击者曾请 Claude 帮忙为窃取的数据寻找买家，并把这些攻击经历写进简历，真是太可笑了！7 月还发生了 Hugging Face 事件，同月，FBI 和 EPA 警告称，黑客……

真够疯狂的。自己对比一下这些 AI 自行车和鹈鹕视频吧，每条都是一次生成完成的！没有额外提示词或步骤。