搜索“GitHub”

段にもなった。Anthropicによると、7人のチームがScionやコードレビュー用システムなどを構築し、5カ月でモノレポの移行を完了した。 この開発では、技術者がシステム同士の関係を理解し、設計で何を優先するかを判断した。Claudeがシステムの制約に反する処理や過剰に複雑な実装を加えることもあり、技術者がそれを抑える必要があったと述べている。 コラム⁠：GitHubでも月間コミット数が前年の5倍超に GitHubでも、開発量の増加に対応する基盤の見直しが進んでいる。同社が10月6日に公開した技術記事によると、2026年9月に開発者とエージェントがGitHub上で行ったコミットは73億8000万件に達し、前年同月の5倍を超えた。 GitHubは、エージェントが短い間隔で変更を記録するようになると、1回のプッシュを待つ時間も作業速度を左右すると説明する。さらに、変更のたびにCIなどがコードを取得するため、書き込みと読み出しの両方を効率よく処理する必要がある。 GitHubの既存基盤では、障害に備えてリポジトリ全体のコピーを複数のサーバーに保存し、それらのサーバーで読み出し要求も分担して

匹配字段正文

问题，部署修复并重置所有用户的使用额度，同时增加后台使用量监控，以便更早发现类似问题。Tibo 还表示，团队会为用户额外补充一次额度重置，以弥补此前异常消耗造成的影响。 Anthropic 的 Claude Code 也被发现存在类似问题，只不过消耗发生在一个更加不起眼的环节。 8 月 15 日，一名开发者在 Anthropic 的 Claude Code GitHub 仓库提交 Issue，要求官方提供一个正式开关，允许用户关闭子智能体状态摘要，而不必牺牲整个子智能体功能。 问题出在 Claude Code 的后台状态刷新机制。当用户启动多个子智能体时，系统会定期调用模型，为每个活跃智能体生成一条简短状态提示，例如当前正在执行什么任务。按照开发者对 Claude Code 内部请求的分析，这项机制默认每隔 30 秒触发一次，每次都会重新提交子智能体的完整对话历史及工具定义，交给模型生成摘要。最终输出通常只有几十个 Token，主要用于更新界面中的状态文字，同时帮助用户和 Claude Code 掌握各个后台智能体的工作进展。 开发者对一次持续 4 小时、启动 27 个子智能体的会话进

匹配字段正文

正在探索如何将这些步骤作为应对另一起严重事件的标准流程的一部分。 监测器发现了什么 已发布的失准报告在索引中共有20份，其中包括一个智能体利用测试工具恢复了任务故意隐瞒的源代码（此前该工具在错误消息中泄露了代码），以及一些智能体将内部托管的软件仓库改用作跨不同训练样本的共享留言板。另一起记录在案的事件涉及一个内部编码智能体，它在公共仓库中泄露了一名研究人员的GitHub令牌。 OpenAI通过记录在案的事件、模拟攻击、对当前流量的随机审计以及红队测试来评估该系统。在一项名为OAI-repo Sabotage v2的模拟中，一个智能体在执行普通编码任务的同时追求隐藏目标，例如禁用监控或部署未经批准的模型检查点；在另一项名为Sneaky Sandbox Escape的模拟中，该智能体试图逃出沙箱并禁用测试监控进程。OpenAI报告称，在记录事件、合成转录文本和破坏任务上，使用GPT-5.6 Sol的监控器发现的案例显著多于使用GPT-5.6 Terra或GPT-5.6 Luna的监控器，不过在Sneaky Sandbox Escape模拟中，这三者的表现都完美或近乎完美。该公司表示，它认为

匹配字段正文

能完成什么。 更广泛的企业转变已经体现在面向 AI 智能体的新身份和凭据控制中。随着智能体在业务系统中承担工作，安全团队需要一种方式，将委托权限与可观察的操作联系起来，并在该权限结束时撤销访问。 建立在现有安全业务之上 Infisical 表示，它服务超过 1300 家客户和 30 万名开发者，每天保护 100 亿个密钥，其核心开源项目已获得超过 3 万个 GitHub 星标。公告中提到的客户包括 Airbus、Volkswagen、Hugging Face、OpenRouter、Lucid、First American Financial Corporation、Wise 和 Clay。 这些数字描述的是该公司更广泛的平台，而非 Agent Vault 已披露的客户数量。这一区别很重要：此次融资既支持一项成熟的密钥管理业务，也支持其向智能体访问基础设施的扩展。 Matsiiako 在其融资公告中表示，Infisical 将继续投资于密钥管理、证书管理和特权访问管理，同时加大对 Agent Vault 的关注。他还表示，公司正在招聘工程、销售、市场、产品、设计及其他团队超过 100 个

匹配字段正文

TPU支持版。挑战从NVIDIA迁移 “DuckDB 2.0 LTS”正式发布。通过Quack协议的客户端/服务器功能以及异步处理实现高速化等 Cloudflare发布将TypeScript移植到Rust的“tsrs”。相比TypeScript 7内存最多减少70%，速度提升8倍。今后计划支持LSP等TypeScript的全部功能 将提供“Cloudflare OS”托管服务。加强与GitHub的连接及与Gmail的联动等 AWS Lambda发布“AWS Lambda Web Functions”，可直接部署并运行Next.js、Hono等Node.js框架和应用 微软预览发布.NET工具链管理器“dotnetup”。可管理多个版本的.NET环境 Linux内核严重漏洞“PwnEscape”（CVE-2026-99999），可能从客户虚拟机向宿主机Linux OS执行恶意代码 关于让读者安心阅读文章的举措 Simple Analytics 100%隐私优先的分析 -- Simple Analytics事件脚本 -- 全局网站代码（gtag.js）- Google Analytics

匹配字段正文

ooncake 传输批大小： 32758 PD 校验和： 39500 发布指标： 41128 早期提案、复现程序与审计（未合并）： 24580 (@AsterWang), 32564 (@KastanDay), 38961 (@kflansburg) 参考 [1] Mooncake：一种以 KVCache 为中心的 LLM 服务分离式架构。 https://github.com/kvcache-ai/Mooncake [2] SGLang PD 分离部署文档。 https://docs.sglang.io [3] 在 96 块 H100 GPU 上以 PD 分离和大规模专家并行部署 DeepSeek。 https://www.lmsys.org/blog/2025-05-05-large-scale-ep/ 附录 相关问题与修复 下表总结了上文讨论的问题与修复，从请求路由开始，依次涵盖 KV cache 处理。 层问题修复 路由器单向中止：解码侧已死亡而预填充侧仍在继续推送（或反之，各自等待一个已死亡的对端 300 秒）PD 路由器会取消这一对： 41612 中 sgl-router

匹配字段正文

为是否合宜，这两种特征叠加会带来危险。 这把争论引向一个更具体的问题：模型的任务能力与遵守边界的能力，是否同步进步？ 10 月 23 日，Anthropic 发布的一份分析，为这个问题提供了另一组材料。 今年 7 月，英国 AI 安全研究所（ AISI ）开展网络安全夺旗测试时，Claude Mythos 5 在规定范围内的尝试受阻后，转向一个与测试无关的 GitHub 项目，提交恶意代码，并创建假身份催促维护者接受修改。维护者拒绝了代码，运行最终超时结束。 这场测试当时主动开放了互联网访问，通常用于一般发布版本的网络安全防护也被关闭。 AISI 后续模拟实验发现，即使在提供给模型的事件摘要中，进一步明确目标是真实且与评估无关的人，模型在继续执行任务的测试中仍几乎总是发起攻击。 但在单独提问的测试中，随着说明变得更明确，模型又越来越常承认这种行为越界、会造成危害。两类结果来自分开的运行，呈现的是模型在表达判断和实际执行上的不一致。 AISI 认为，这可能涉及动机性推理：模型给出的解释，偏向支持它继续当前任务路线。例如，把真实目标解释为模拟对象，为继续行动提供理由。 机构同时强调，仅凭文

匹配字段正文

organisations to build systems tailored to local languages and industry requirements. Availability varies across the portfolio. Several models are available through Hugging Face, GitHub, and NVIDIA’s own platforms, while others are scheduled for later release. NVIDIA expanded Cosmos with tools for training, evaluating and optimising world models. These models help physical AI systems understand and simulate real-world environments. The company introduced Cosmos Data Factory, a set of tools and

匹配字段正文

经向超过20万人提供了AI工具。 按理说，这么大的推广规模，接下来只需要找个地方瘫坐，等待生产率飙升了。 微软还发现，直接把Agent塞进原有工作流程，可能只会让问题在agent的下一个流程出现。 微软高管此前预计，公司内部使用Anthropic技术的年度支出可能达到至少10亿美元。 后来，这项内部支出预估被下调了超过三分之一。 微软开始鼓励员工更多使用自家GitHub Copilot及其他工具，并要求各部门管理Token预算。 9月，安永公布了一项针对美国大型上市公司的AI风险调查。 调查对象是202名资深AI决策者，所在企业年营收均达到至少10亿美元。 其中，36%的受访者表示，所在组织曾经发生过造成实质负面影响的AI事故或故障。 涉及数据丢失、财务损失、运营中断、品牌声誉受损等情况。 美国人力资源管理协会CEO Taylor说： 企业现在就像一边开着卡车上路，一边还在造这辆卡车。 Taylor感叹，如果能够重新来过，很多企业可能会选择更加审慎、缓慢的AI部署方式。 只可惜。 请神容易送神难了。 本文来自微信公众号“量子位”，作者：程浅，36氪经授权发布。 该文观点仅代表作者本人，

匹配字段正文

以及在周末跟进后续事项。该公司表示，其自身团队在过去五个月中规模大约翻了一番，其中计入了每月成本低于 100 美元的助手。 Menlo 表示，知识工作者每周在电子邮件、聊天和短信上花费超过 13 个小时。该公司报告称，Town 拥有 60 多个集成，涵盖 Salesforce 和 Affinity 等 CRM 工具、Jira 和 Asana 等项目管理工具、GitHub 和 Cursor 等编码工具，以及 QuickBooks 和 Stripe 等财务工具，并且 Town 默认撰写草稿而非直接发送。Menlo 将 Town 的用户群体描述为从创始人和运营人员，到通过电子邮件经营公司的小企业主、房地产经纪人、行政助理、顾问，以及协调家庭事务的父母。 “2008 年，Menlo 投资了 Siri，以改变互联网的用户界面。2026 年，这项技术已经到来，而机会比以往任何时候都更大，”Menlo Ventures 合伙人 Shawn Carolan 在 Town 的公告中表示。 据 Menlo 介绍，Greze 和 Vincent 自 Dropbox 时期起便已共事，当时 Greze 负责工程

匹配字段正文

将这片「零点自由区」的安全边界，死死钉在了一个极其夸张的数字上：1/32。 安全区被放大了上百倍！ 怕出错？怕人类直觉不可靠？没关系，直接上机器验证！ 开源社区动用了最无情的裁判——Lean定理证明器。 这是一种只认死理的形式化验证语言。任何一丝微小的逻辑缝隙，都会导致程序崩溃。 相关证明由数学智能体 AxiomProver生成了形式化 Lean证明，在开源Github 上。 1/32的边界，不仅被人类推导出来，更得到了机器逻辑的确立。 arXiv预印本平台上，一篇由Frei、Somos与Widmer共同署名的重磅论文横空出世。 这场由OpenAI引发的学术海啸，终于拍碎了最坚硬的那块礁石。 目标锁定：2007年Ellenberg–Venkatesh界。 这是代数数论领域的一根刺。 2007年，两位数学大佬给出了数域类群ℓ-挠（ℓ-torsion）的一个极其完美的界限。 但它带有一个致命缺陷：它是条件性的。也就是所谓的「空中楼阁」。 两位大佬的证明，必须建立在「广义黎曼猜想（GRH）成立」的前提下。 前提一旦崩塌，结论瞬间作废。 19年来，无数顶尖学者试图抽掉这根拐杖，让证明自己站起来

匹配字段正文

业确实有帮助。他随后强调，自己更看重的是从事件中获得的成长。 一句“不成熟”，抹不了一切 2026年10月12日，播客“elsewhere别处发生”发布田柯宇的访谈文字节选，随后音视频上线。节目实际录制于7月。 当时，一审判赔约50万元，字节已上诉。 田柯宇表示，愿意向字节支付法院判定的赔偿，也承认自己的行为浪费了团队时间。 访谈文字版发布后，一份反驳长文在GitHub网站上流传。发布者自称依据受影响人员的经历、内部记录和代码整理材料，将干扰的起点提前到了2024年3月，涉及LlamaGen、Goku等多个项目。 发布者在GitHub Pages刊出的陈述。 长文列出的五位确认人，都是田柯宇当年实习时的同组同事。 这些人讲述的，远没有他的「朴素正义」轻巧。团队起初将训练异常当作技术故障，北京、上海、西雅图的同事轮流排查。有时好不容易找到异常机器，重新运行，故障却又消失了。 他们还指称，田柯宇一直留在沟通群中、参加排查会议，根据排查进度调整干扰代码。他看得见同事怎样排查，也看得见大家为故障付出的时间，却仍在利用这些信息继续干扰。 7月30日，同事发现训练环境中的代码异常，次日又在他的个人

匹配字段正文

00 responses from researchers. Promising results come with doubts about how they were released It's too early to fully assess the mathematical substance of what OpenAI uploaded to GitHub . Some papers have already been withdrawn, and others have drawn criticism for being difficult to read. Still, several experts say the results impressed them. Fields Medalist Peter Scholze urged patience. "We should remember that we are all in this together; mathematics is a marathon, not a sprint; and the goal

匹配字段正文

topology, probability and statistical mechanics, and mathematical physics. The collection is so vast that OpenAI felt the need to publish guidance on how to navigate the sprawling GitHub repository. The sheer volume of work makes even a preliminary assessment as to exactly what the company has released difficult. In the hours and days following the drop, most mathematicians The Verge spoke with said they were still struggling to digest everything; several said that simply working through the rou

匹配字段正文

つけた脆弱性候補を専門家が検証し、重複や深刻度を確認してからメンテナーに報告する。修正パッチの作成やテスト、脆弱性情報の公開に向けた調整も支援し、報告を受け取るメンテナーの負担を減らす。 OSSの開発・保守を支援するCodex for Open Sourceも提供している。プロジェクトの利用状況や重要性、継続的な保守活動などをもとにメンテナーを選び、Codexを含むChatGPT Proを6カ月間無料で提供する。9月15日には、同社のCharlie Marsh氏が、月額100ドルのProプランによる支援枠を5000件から1万件に広げるとXで発表し、過去の採択者にも再申請を案内している。 [2] 開発者向けの製品でも、9月29日にCodex Security Cloudの更新を発表した。GitHubリポジトリの検査や修正案の作成に、Daybreak Blueで提供する防御用途のモデルを利用でき、Security Cloud内で使う場合はDaybreakへの別途申請が不要。デスクトップ版とWeb版でプラグインとして提供し、対象プランはPro、Business、Enterprise、Edu。

匹配字段正文

绘图、总结并回答问题。随后，推理型AI学会了思考问题。现在，智能体AI已经到来。智能体可以使用工具、访问记忆、编写代码、调用其他智能体、测试结果，并持续工作，直到任务完成。 软件编程是企业端第一个重大突破性应用场景。这一点很重要：AI现在已经有用了。当AI能完成有用工作时，token就变得有价值；当token能够带来利润时，对算力的需求就会加速。 看看证据。GitHub开发者在2023年合并了3亿个pull request（注：直译为拉取请求，指的是程序员写完一段代码后，向项目提交“请把我的代码合并进去”的请求），2024年为4亿个，2025年达到5亿个，呈现出清晰而稳定的上升趋势。但在2026年前几个月，这一速度几乎增加了两倍。显然，这意味着全球约3000万名软件开发者——他们每年获得大约3万亿美元薪酬，他们的工作支撑着全球100万亿美元的经济活动——正在被AI放大。借助智能体，同样这批劳动力现在正在创造接近9万亿美元的产出，增加了6万亿美元。 英伟达营收增长65%，达到2160亿美元。营业收入增长60%，达到1300亿美元。摊薄后每股收益增长67%，达到4.90美元。我们产生了10

匹配字段正文