TechCrunch 分析黄仁勋被罢免可能损害 AI 行业的五种方式
TechCrunch 撰文分析 Nvidia CEO 黄仁勋因婚外情（其中一名对象被美国政府怀疑是中国间谍、且是一家被指向中国走私 Nvidia 芯片的新加坡 neocloud 高管）被董事会罢免后，可能损害 AI 行业的五种方式。
推荐理由：文章把黄仁勋离职拆成五个具体影响面，便于读者对照开源、安全、AI PC 和融资等既有议程评估冲击。
#开源生态
TechCrunch · AI精选AI 评分7777
Microsoft Research精选AI 评分6262 Microsoft Research 推出 PDD Kit，用形式化验证约束智能体生成的全栈 Web 应用
Microsoft Research 发布研究原型 PDD Kit，把形式化验证引入日常软件开发：它在 GitHub Next 的 Chopin 中与开发者协作，把自然语言意图转成 Verus 形式化规范，证明智能体写的代码对每个输入都满足规范，证明覆盖不到的部分则回退为测试。
推荐理由：原文给出从意图到形式化规范再到证明的完整工作流，可迁移之处在于把代码评审重心前移到意图评审。
已经到底了