前沿日报（10月13日）：GitHub (OpenAI) / Hacker News / GitHub (Meta Llama) 等 7 条

老金每天定点抓官方信源，把过去 48 小时值得知道的 AI 圈动态汇编成短报：只汇编、不点评，每条附原始链接与发布时间。

1. OpenAI 开源 math 项目，主语言 Lean

OpenAI 在 GitHub 上开源了 math 项目，主要语言为 Lean，目前获得 14409 个 Star。

来源：GitHub (OpenAI) · 2026-10-12 · 原文

2. AI 是工具，用好它需要技巧

一篇题为《AI Is a Tool. Using It Well Takes Skill.》的文章在 Hacker News 上获得 132 点赞和 114 条讨论。

来源：Hacker News · 2026-10-12 · 原文

3. Epic Games 要求员工用 AI 完成迪士尼游戏

有报道称 Epic Games 要求员工使用 AI 来完成迪士尼相关游戏，该消息在 Hacker News 上获得 70 点赞和 49 条讨论。

来源：Hacker News · 2026-10-12 · 原文

4. Meta 开源 PurpleLlama：LLM 安全评估工具集

meta-llama 在 GitHub 上开源 PurpleLlama，这是一套用于评估和改进大语言模型安全性的工具，主要语言为 Python，目前获得 4427 个 Star。

来源：GitHub (Meta Llama) · 2026-10-12 · 原文

5. Anthropic 动态工作流如何协调 Claude 智能体

在 AI Engineer NYC 大会上，Anthropic 技术团队成员 CJ Avilla 和 Harrison Stall 介绍了 Claude Managed Agents 的编排方式，以及新发布的动态工作流（flows）功能，其被定义为面向大规模工作负载的新型多智能体编排方式。

来源：Latent Space · 2026-10-12 · 原文

6. Python 3.15 发布，告别 3.10 迎来 3.11

Simon Willison 撰文介绍 Python 3.15 的发布，重点提及 PEP 810 显式惰性导入和推导式中的解包语法等新特性，并提到自己可以告别 Python 3.10、开始使用 Python 3.11 的特性。

来源：Simon Willison's Weblog · 2026-10-12 · 原文

7. datasette-ports 0.4 发布

datasette-ports 插件发布 0.4 版本，该插件用于检测并列出当前机器上的所有 Datasette 实例，新版本兼容最新版本并显示检测到的 PID，便于配合 Python 3.15 的性能分析器使用。

来源：Simon Willison's Weblog · 2026-10-12 · 原文

---

_信源：OpenAI、Google DeepMind、Qwen 官方博客，Simon Willison、Latent Space、Import AI、One Useful Thing 官方 RSS，Anthropic 官网监测，Hacker News 高热讨论与 GitHub 重点 AI 组织开源动态；Mistral / Meta AI 无稳定公开源，X 平台信源由老金人工补充。本文为信源汇编，不含老金点评。_