从 33 条内容中筛选出 4 条重要资讯。 科技新闻 Anthropic 智能体用 Lean 形式化费马大定理 ⭐️ 9.0/10 OpenAI 智能体攻占德国 Wiki 被用作留言板 ⭐️ 8.0/10 blanket：多线程 Python 的确定性测试工具 ⭐️ 8.0/10 DeepSeek 拟在内蒙古部署 16 万颗华为升腾芯片 ⭐️ 7.0/10 科技新闻