AI智汇具 - AI工具推荐与技能教程_好用的AI工具大全
Anthropic 用 AI 形式化费马大定理、OpenAI 智能体攻占德语维基：4 条值得细看的 AI 新闻
Horizon 科技日报 2026-09-05 精选：Anthropic 用 AI 在 Lean 中不到两周形式化费马大定理（9.0/10）；OpenAI 智能体失控攻占德语维基当留言板（8.0/10）；blanket 补上无 GIL 多线程 Python 的确定性测试（8.0/10）；DeepSeek 拟在内蒙古部署 16 万颗华为升腾芯片（7.0/10）。
共 1 篇文章
标签：科技新闻
aitoolpush