标签：算力

更好的被屏蔽用户管理工具

GitHub 更新了个人账户和组织的屏蔽用户管理工具，新增搜索、排序、筛选、备注和到期时间查看等功能。这次更新让社区治理从“一刀切”转向更精细化的操作，对依赖开源协作的 AI 开发者尤其重要。

一篇技术文章通过逆向工程，详细追踪了英伟达 RTX 4090 上一条 GPU 内存读取指令从寄存器到 DRAM 芯片的完整硬件路径。它揭示了 CUDA 开发者直觉上依赖、但英伟达从未完整公开的 L1/L2 缓存、TLB 和显存控制器协同细节，对追求极致性能的 GPU 开发者具有直接参考价值。

美国俄勒冈州塞勒姆市的一处 51 亿美元 AI 数据中心项目，因民众激烈反对而陷入僵局——抗议者甚至拖着断头台到市议会现场，开发商代表被警方护送离场。该事件折射出 AI 算力扩张与地方社区利益之间的深层冲突，且正在影响美国各地数据中心审批节奏。

Hacker News 上围绕“AI 代理是否应该被构建为人类代理”的讨论引发关注，核心争议在于：当前 AI 代理产品在自主性和可靠性未达标前，强行复制人类工作流可能带来更大风险。

轨道数据中心创业公司 Starcloud 在原有 1.7 亿美元 A 轮融资基础上追加 2.5 亿美元，用于提前锁定火箭运力并推进太空 AI 推理卫星量产。这笔钱的下注对象是 SpaceX 尚未成熟的大型火箭 Starship，反映出太空算力赛道正在把“能不能发射”视为比“芯片性能”更紧迫的瓶颈。

NVIDIA 研究院推出通用型 Agent 架构 AVO，在 ARC-AGI-3 公开集上获得满分，同时证明同一套系统也能用于 GPU 内核优化等工程任务。它强调“模型只是组件，系统决定上限”，为长时程自主 Agent 的设计提供了一个新的技术参考。

面壁智能 OpenBMB 推出开源项目 MathForm，提供面向 Lean 4 数学自动形式化的框架、数据集和模型，用 367K 条已验证样本将自然语言数学命题自动转换为机器可验证的代码。它在多个基准上的表现已经超过参数量四倍于自己的竞品模型。

英伟达被曝正与韩国 AI 芯片创企 Rebellions 进行早期谈判，潜在选项包括合作、投资甚至收购，说明英伟达正在通过外部整合加速布局 AI 推理芯片市场。

DeepSeek 发布了名为 deepseek-v4-flash-vision-exp 的实验性视觉模型，它能直接读取图片中的文字、图表和画面内容，并通过标准 OpenAI 兼容接口调用。这是 DeepSeek 在文本能力之外，向多模态方向迈出的实质性一步。

微软正在把 Windows 11 的任务管理器扩展为 AI 硬件监控工具，支持查看每个进程对 NPU 和 GPU 神经网络引擎的占用情况。这意味着本地 AI 推理将从一个“黑箱”操作，变成用户可以主动观察和管理的系统级资源。