Python 潮流周刊#169：AI 用 11 天证完费马大定理、Python 拟加 export 关键字、一个 Key 调 3000 个工具

内容摘要

• 周刊精选了 12 篇文章和 12 个开源项目，主题涵盖 Python 语言演进、作用域、接口设计、数据迁移与 AI 代码审查。 • 语言与标准库方面涉及 export 关键字提案（PEP 842、843）、PEP 847，以及 Django 通过 DEP 19 精简技术治理。 • AI 与智能体内容包括费马大定理的首个机器可验证证明、智能体数据科学实践，以及记忆、工具目录、决策模型和网页截图检索等项目。 • 安全与工具方面提到 PyLadiesCon 门户出现 2249 个假账号，并推荐 Jev 复刻、nonebot2、datamodel-code-generator 等项目。 本期内容聚焦 Python 语言与生态治理，同时覆盖 AI 智能体、可验证数学证明、代码审查及相关开源工具。