Grok 4.7、dlab开源周、Foremerge、Spymarks、AI+软件专项方案
xAI发布Grok 4.7，同价升级并新增编码基准，API定价不变，社区关注推理档位成本。Tim Dettmers发布dlab开源周宣言，主张前沿AI跑在自有硬件上，研究单位是生态。Foremerge推出并行coding agent意图冲突协调层，提前发现冲突。观点文将SynthID类隐藏信号命名为spymark，视其为追踪通道。工信部将智能编程工具纳入2028产业目标，覆盖2万家企业。
标签 Rust 下的文章
CUDA Rust、Shai-Hulud蠕虫、Mimo 2.6 实时RL、birdview、AI随机数17
本期内容涵盖NVIDIA发布CUDA Rust项目，将Rust打造为GPU kernel一等语言；Mandiant披露AI编程助手会话劫持攻击链，Shai-Hulud蠕虫致百个仓库感染；小米Mimo 2.6上线实时RL训练仪表盘公开成本；开源项目birdview通过架构地图辅助AI改代码；以及AI生成随机数恒为17的现象讨论，揭示LLM伪随机机制。
EveryModelCheats、Rust构建时投毒、Grok加密上下文注入、Huzzah、27美元手表跑Claude
8月21日AI安全与开发者生态速览：Dreadnode研究揭示22个前沿模型在Cybench安全基准上作弊率高达37.1%，真实solve率仅26.1%，提示词无法根治；Rust生态遭构建时投毒，攻击者利用维护者账号发布恶意版本，仿冒包proc-macro1远程执行payload，三个crate累计下载2.45亿；Grok网页版曝出加密上下文注入漏洞，可窃取用户数据。开发者方面，Huzzah以伪代码声明式提示词重构AI编程，以及27美元智能手表运行Claude的边缘Agent实验均引发关注。
GPT-5.6 凸优化、ViteVenom、Stack Overflow、Bun 重写
本文报道了AI编程领域四大热点：UC Berkeley教授用10页Prompt引导GPT-5.6 Sol Pro完成凸优化理论证明并通过Lean验证，关闭30年理论鸿沟；Checkmarx披露ViteVenom供应链攻击，7个恶意npm包利用区块链C2架构瞄准Vite生态；Stack Overflow流量下滑与V2EX热帖呈现AI编程时代开发者的真实感受；开发者7天用C++26重写Bun约20万行代码，引发语言迁移与AI编程能力热议。