标签：推理

OpenSSH 10.5 发布，现接受 AI 修复

OpenSSH 发布 10.5 版本，并在官方发布说明中明确接受 AI 辅助生成的代码修复。作为全球最核心的安全基础设施之一，OpenSSH 的这一姿态意味着开源维护者开始认真对待 AI 写代码这件事。

微软在 GitHub Copilot 中正式推出小尺寸编程模型 MAI-Code-1.1-Flash，新增图像理解能力，并将列表价格下调 73%，在成本和编码能力之间提供了一个新选项。

Hugging Face 的 Transformers 已从单纯的开源模型库，发展为连接训练、推理与部署的"模型定义公共层"，目前可调用超过 100 万个模型检查点，并开始支持命令行直接对话。

字节跳动旗下火山引擎的 Seedance 2.0 上线后，AI 视频生成的工作日调用量开始超过周末，说明它正从“尝鲜玩具”变成“生产工具”。与此同时，火山引擎提出了一套“先轻量试错、再高清交付”的分层生产路径，试图解决 AI 视频进入实际工作流后的效率问题。

Hacker News 上关于“AI 水足迹”的讨论指出，数据中心冷却用水规模已接近加州杏仁农场的年消耗量，而真正值得警惕的不是“用了多少水”，而是水资源在错误的时间、错误的地点被消耗，且几乎没有数据中心为用水承担净化或回补成本。

AI 资讯编辑 Dan Shipper 提出一种“给模型打气”的提示技巧：在对话开头鼓励未发布的前沿模型，声称能让它完成之前不可能完成的任务。这条推文引发开发者关于“夸奖提示是否真有效”的争论，也触及测试未发布模型时的方法论问题。

弗吉尼亚州要求数据中心自行承担为其新建的电网基础设施费用，不能再把成本转嫁给普通居民。这一政策若落地，可能为当地用户节省数亿美元电费，也对全美AI算力扩张的成本分摊方式产生示范效应。

Jarred Sumner 让 Claude 挑战黎曼猜想，虽然未能终结猜想本身，但 Claude 在 1.5 天内将“临界线上零点占比”的已知下限从 41.6% 推进到至少 67%，并将证明在 Lean 中形式化。这展示了大模型在数学研究中连接已有成果、辅助构造证明的潜力，值得关注。

一位开发者把 316 万参数的微型语言模型完整装进 250 美元的 FPGA 片上内存，绕开外部 DRAM，实测推理速度约 6 万 token/秒，比同一块板上的 CPU 快约 5000 倍，直观展示了

OpenAI 于 2026 年 8 月 10 日致函得克萨斯州州长 Greg Abbott，承诺在该州推动“负责任的 AI 基础设施建设”，并寻求与地方政府、公用事业公司和社区合作，为后续的算力与数据中心项目铺路。