算力开始按智能体重排 英伟达公布 Vera Rubin NVL72 的首轮测试时，最值得关注的并不是又出现了一款更强的加速器，而是测试对象已经换了名字：DeepSeek-V4-Pro。英伟达给出的数据称，Vera Rubin...

斯坦福团队用多候选生成与自验证框架提升开源模型任务成功率，Qwen低成本架构与Specula形式化验证则从推理和工程两端补齐可靠性，AI竞争正在从一次答对走向可验证交付。

OpenClaw发布v2026.8.1，933名贡献者合力提交超过1.6万次PR，安装、浏览器、跨设备会话、团队协作、记忆和权限体系都被重新整理。这个版本真正值得看的，不是更新列表有多长，而是它把一个能调...

GPT-6 Astra上线第一天就在FME数学基准中解出5道Erdős难题，Claude则用数十个智能体协作完成费马大定理的形式化证明。两条消息放在一起看，意义并不只是“哪个模型更强”：AI正在从展示流畅答...

Cisco ISE 与 ISE-PIC 的 CVE-2026-76460 已被确认在野利用，CISA 纳入 KEV。本文梳理受影响版本、日志排查、升级修复和 iACL 临时缓解建议。