AI 资讯 - 最新 AI 工具动态与行业趋势

系列追踪

GitHub AI 周报

每周盘点 GitHub 上值得关注的 AI 开源项目，覆盖 AI Agent、AI 编程、RAG、模型推理、多模态与 AI 基础设施六类，给出 Top 10 榜单、重点项目分析和趋势判断。

Google DeepMind 11 月 10 日发布 AlphaProof Code，并公开技术论文与验证代码。团队用它对 Signal 协议的参考实现 libsignal（v0.105.4，一对一会话）做形式化验证：研究人员与 Gemini 4 Carbon、Claude…

AI之上编辑部今天

ElevenLabs 11 月 10 日发布语音转文字模型 Scribe v3（录音转写）和 Scribe v3 Live（实时转写）。官方称，在覆盖 102 种语言的内部版 FLEURS 测试中，Scribe v3 的词错误比 Scribe v2 少 27%，Scribe v…

AI之上编辑部今天

云应用托管平台 Railway 11 月 10 日发布 10 月安全事件的完整报告。攻击者 10 月 20 日利用构建设施中一个此前未知的漏洞部分逃逸文件系统隔离，拿到构建凭证，次日又借一条配置错误的 OIDC 绑定取得云凭证，解密了部分客户环境变量；

AI之上编辑部今天

把 Linux 移植到 Apple Silicon Mac 的开源项目 Asahi Linux 11 月 7 日在《Progress Report: Linux 7.3》中宣布，开始把所有仓库从宽松的 MIT 许可证转为 GNU GPL 第 2 版或更高版本，今后的代码只采用强…

AI之上编辑部昨天

谷歌 Gemini 帮助中心的关联应用说明页现写明：把应用关联到 Gemini 后，经 Gemini 处理的关联应用数据有一部分会由人工审核员（包括经过培训的服务提供方）审核，范围包括相关邮件和文件的互动、摘要、摘录与推断，邮件或文件较短时摘要可能就是原文；

AI之上编辑部昨天

Meta FAIR 的 Swann Bessa 等 7 位作者 11 月 6 日在 arXiv 提交论文并开源 e-means，代码放在 Faiss 仓库的 contrib/e_means 目录。

AI之上编辑部昨天

安全公司 Apiiro 11 月 5 日发布研究：在 Claude Code 里对一条命令选择「Yes, and don't ask again」，整条命令连同其中的密码、令牌会作为允许规则写进项目目录的 .claude/settings.local.json，文件随代码一起提…

AI之上编辑部3天前

机器学习研究者、Vowpal Wabbit 作者 John Langford 11 月 6 日在个人博客 hunch.net 发文《The End of AI Frontiers》，宣布微软研究院内部约 50 人的 AI Frontiers 研究组已经结束，他本人已离开微软。

AI之上编辑部3天前

Anthropic 经济研究团队 11 月 5 日发布报告《AI for scientific discovery: How researchers use Claude》，用隐私保护方法分析了 2026 年 8 月 2 日至 9 月 30 日消费版套餐中的 207,049 次…

AI之上编辑部4天前

数学 AI 公司 Axiom 11 月 4 日发布 Stacks Project 的 Lean 4 形式化并以 Apache 2.0 开源。Stacks Project 是哥伦比亚大学数学家 Johan de Jong 2005 年发起的开源代数几何参考书，约 7500 页；

AI之上编辑部4天前

GitHub AI 周报 · 第 13 期

本期整理 2026 年第 45 周 GitHub Trending 周榜，按周 Star 增量收录 10 个 AI 项目，涵盖编程、Agent、基础设施与多模态；逐项介绍更新、用途与限制，深读 Scrapling 的浏览器交互与 DeepTutor 的选段朗读。

AI之上编辑部4天前

Replit 11 月 4 日在工程博客发布《Inside Replit's New Sandbox Engine, Part 1》，披露过去几个月完成的沙箱引擎重写：原先在 Google Compute Engine 虚拟机上用 Docker 容器运行代码、各容器共享宿主内核…

AI之上编辑部4天前

已显示 12 / 307 条资讯