AI 编程实时动态与要闻

Anthropic 扩大 AI for Science 计划:向 NSF、Simons、Sloan 等 20 家基金会、研究机构和项目提供免费 Claude 额度

Anthropic 宣布把 2025 年 5 月启动的 AI for Science 计划从个人研究者扩展到机构层面:6 家科研资助方(含美国国家科学基金会 NSF、Simons、Sloan、Schmidt Sciences)将向研究者分发 Claude 额度,6 家研究机构(如 STScI、Sanger、Crick、EMBL)在内部使用,另有 6 个公共科研项目(如 gnomAD、FlyWire、Lean 数学库 Tau Ceti)直接获得支持。官方未公布额度总金额。

Anthropic 扩大 AI for Science 计划:向 NSF、Simons、Sloan 等 20 家基金会、研究机构和项目提供免费 Claude 额度

核心要点速览

  • 本次点名 20 家合作方,分三类:资助方与学会、研究机构、具体科研项目(官方口径)
  • 资助方包括年预算约 90 亿美元的美国 NSF、Simons、Sloan、Schmidt Sciences、ACS 旗下 CAS 等,由它们把 Claude 额度分给研究者
  • 机构包括负责哈勃、韦布望远镜科学运营的 STScI,以及 Wellcome Sanger、Francis Crick、EMBL、Gladstone 等
  • 项目侧覆盖 gnomAD(汇集 80 万+ 人 DNA 数据)、FlyWire 果蝇全脑连接组、Lean 自动形式化数学库 Tau Ceti 等
  • 额度总金额、单笔规模与申请方式官方未公布;此前已推出面向科学家的折扣版 Team 计划
阅读全文
关联模型 / 智能体 / 厂商:
⚡ Claude🌐 Anthropic

SemiAnalysis 发布 2027 数据中心重磅研报:年增 50GW 算力狂飙与 1.3 万亿美元租赁合同,芯片紧缺风暴或将重现

半导体权威分析机构 SemiAnalysis 发布重磅行业前瞻报告《Datacenters 2027: The Year of Acceleration》。报告披露全行业年内新增算力电力需求高达 50GW、在建容量达 60GW,年初至今签署的数据中心租赁合同总额已突破 1.3 万亿美元。研报指出随着电力和机房土地建设在 2027 年集中释放,全球 AI 算力的最大短缺瓶颈将从电力基础设施重新倒灌转移至先进制程 AI 加速芯片。

SemiAnalysis 发布 2027 数据中心重磅研报:年增 50GW 算力狂飙与 1.3 万亿美元租赁合同,芯片紧缺风暴或将重现

核心要点速览

  • SemiAnalysis 发布重磅行业研报《Datacenters 2027: The Year of Acceleration》
  • 披露全球数据中心在建算力达 60GW,预计 2027 单一自然年内将新增投产 50GW 史诗级电力容量
  • 年初至今科技巨头已签署超 1.3 万亿美元的数据中心长期租赁合同,创历史新高
  • 前瞻指标指出 2027 年电力机房集中交付后,全行业最大短缺瓶颈将从电力重新倒灌回先进制程 AI 加速芯片
阅读全文
关联模型 / 智能体 / 厂商:

从单点修 Bug 走向全工程从零复现!ProgramGym 开源:1,648 个跨语言沙箱助力 27B 模型跑分飙升

当前自主编程智能体(SWE Agents)的训练与评测大多局限于单个函数的孤立补全或现有单仓库内特定 Issue 的局部修复(如 SWE-bench),难以衡量智能体从空白工程起步、独立探索参考系统、推演架构设计并从零完整复现一个可编译可运行软件(Program Reproduction)的长程综合能力。学术研究团队在最新成果(arXiv:2610.13395)中正式开源了首个全自动工程级训练环境合成引擎与智能体工作流 ProgramGym(代码仓库:github.com/Acm1011/ProgramGym,数据集:ProgramGym/programgym-1648)。ProgramGym 包含两大核心支柱:Program-Env 流水线自动将真实开源代码库转换为具备确定性黑盒测试集的隔离执行沙箱,一举构建了涵盖 C、C++、Go、Rust 四大主流系统级语言的 1,648 个高质量可验证训练环境(ProgramGym-1648);而 Program-Agent 则确立了‘需求分析 -> 代码实现 -> 审查反思’三权分立的迭代开发脚手架与版本控制恢复机制。在权威基准 ProgramBench 测试中,利用该引擎合成轨迹监督微调得到的 Qwen3.8-27B-SFT 模型测试通过率提升 7.97 个百分点至 42.84%,超越了 mini-SWE-agent 下的旗舰模型 GPT-5.4(37.70%);搭配 Program-Agent 脚手架后跑分更是进一步跃升至 56.25%,全面超越 Claude Opus 4.7(50.90%)与 Gemini 3.5 Flash(53.60%),全套数据集与环境已全面开源。

从单点修 Bug 走向全工程从零复现!ProgramGym 开源:1,648 个跨语言沙箱助力 27B 模型跑分飙升

核心要点速览

  • 开源长程程序复现训练框架 ProgramGym 发布,涵盖 C/C++/Go/Rust 四大语言的 1,648 个自动化沙箱与测试环境
  • 微调后的 Qwen3.8-27B-SFT 在 ProgramBench 跑分提升 7.97% 达 42.84%,超越 mini-SWE-agent 下的 GPT-5.4
  • 搭配 Program-Agent 角色隔离脚手架测试通过率跃升至 56.25%,超越 Claude Opus 4.7 与 Gemini 3.5 Flash
阅读全文

彻底告别盲目采样!达姆施塔特等开源 U-Space:机械可解释性解构模型内部置信度,零训练实现 Token 级测不准追踪

大语言模型在代码生成、复杂推理与关键业务决策中的错误输出往往伴随着自信而流畅的语气(即‘权威口吻的幻觉’),使得下游应用极难判断何时应该采纳其结果、何时应当拒绝或人工介入。现有的不确定性量化(UQ)方法要么依赖极度昂贵的多重重复采样(如 10~20 次并发 Rollouts 来计算语义熵),要么依赖在特定任务上训练的外部探测分类器,且易受模型输出长度的虚假相关性干扰。达姆施塔特工业大学(TU Darmstadt)与合作研究团队在最新重磅研究(arXiv:2610.09087)中提出了 U-Space:首个基于机械可解释性(Mechanistic Interpretability)的轻量化不确定性度量框架。研究人员在大模型残差流(Residual Stream)中定位到了表征‘怀疑(Doubt)’与‘确信(Certainty)’的低维正交子空间。配合创新的 U-Lens 投影器,系统能够在生成过程中逐 Token 解码隐藏层状态,输出实时的置信度动态轨迹与标量打分。该方法零样本标注、零额外训练、零并发采样,在多项严苛推理基准上完胜传统置信度估计器,并在排除长度偏差的实测中表现出卓越的跨域迁移泛化能力,官方代码已全量开源。

核心要点速览

  • 达姆施塔特工业大学开源 U-Space,首创基于机械可解释性的残差流正交低维子空间置信度量化
  • 实现零训练、零样本标注与零额外并发采样,相较语义熵方法降低 90% 以上的不确定性计算开销
  • 成功摆脱生成长度虚假相关性干扰,提供 Token 级实时疑虑追踪,全面超越传统监督探针与基线
阅读全文
关联模型 / 智能体 / 厂商:
⚡ U-Space⚡ U-Lens⚡ Transformer-Residual⚡ Mechanistic-LLM🤖 Uncertainty-Gating-Agent🤖 Reliable-Coder🌐 TU Darmstadt🌐 Hugging Face
AD赞助内容

Basecamp 官方托管 MCP 上线:一个地址接入 ChatGPT、Claude、Cursor 与 Grok

37signals 正式开放托管 MCP 端点 https://mcp.basecamp.com/mcp,OAuth 登录、可选只读或完全访问,所有 Basecamp 账户免费可用,覆盖项目、待办、卡片、文档、日程与 Campfire 等几乎全部操作。

Basecamp 官方托管 MCP 上线:一个地址接入 ChatGPT、Claude、Cursor 与 Grok

核心要点速览

  • 官方托管端点:https://mcp.basecamp.com/mcp,HTTP 传输,Basecamp 侧零配置
  • 授权粒度 2 档:只读(Read-only)或完全访问(Full access),权限与用户本人完全一致
  • 官方列出 4 个一线客户端:ChatGPT(开发者模式)、Claude、Cursor、Grok,另附 Claude Code / VS Code 配置
  • 价格 0 元:所有 Basecamp 账户内含,客户端添加自定义连接器可能需付费计划
  • 官方承诺不使用 Basecamp 内容训练 AI 模型,详见 basecamp.com/ai
阅读全文

Anthropic 启动 Cyber Mission:免费 OSS Scanner 首周已向维护者报出 77 个严重、803 个高危发现,并联合 11 家伙伴保卫关键基础设施

10 月 8 日 Anthropic 发布 Cyber Mission:① 面向关键开源项目的免费、可选择加入的 OSS Scanner(最强模型含 Claude Mythos,报告含 PoC/说明/候选补丁,预期真阳性>90%,无人审);② Critical Infrastructure Defense Program,与 CrowdStrike、Palo Alto、Dragos、Rockwell 等 11 家创始伙伴合作。Glasswing 已发现逾 2.9 万候选漏洞。 10 月 19 日官方更新:首批扫描已向维护者报出 77 个严重、803 个高危(模型评级)发现;curl 8.23.0 修复的高危 HTTP/2 释放后使用漏洞 CVE-2026-92392 即由早期版本发现。

核心要点速览

  • 双线并行:OSS Scanner(免费、opt-in、模型直出报告)+ Critical Infrastructure Defense Program(OT/电网/水务/交通,11 家创始伙伴)
  • Glasswing 遗产:逾 29,000 候选漏洞,人工已审约 6,000;维护者索要后已直送近 5,000 份报告
  • 质量预期:早期 97 个高危样本中 88% 达 CVD 门槛;官方目标真阳性率 >90%(无人审,可能有严重级别偏差)
  • 报名:核心维护者向专用 GitHub 仓库提 PR 登记;另有 Claude for OSS 免费 Max、Cyber Verification Program
  • 首周战果(官方口径,模型评级未人审):已向维护者报出 77 个严重、803 个高危发现;curl 8.23.0 修复的 CVE-2026-92392(HTTP/2 上传释放后使用,影响 8.12.0–8.22.0)即由早期版本发现
阅读全文
关联模型 / 智能体 / 厂商:

Google 暂停开源漏洞赏金「产品漏洞」类目:AI 自动提交泛滥,最高 7,500 美元奖励清零,Q1 2027 再更新

Google 开源软件漏洞奖励计划(OSS VRP)自 2026-10-01 起不再受理「产品漏洞」提交,官方称原因是「自动化提交大幅增加,且绝大多数无效」。google/bughunters 仓库 9 月 30 日的提交 f8bf23ad8 把该类目奖励区间(旗舰项目 $500–$7,500、重要项目 $101–$3,133.7)全部改为「-」;供应链攻击类目不受影响,最高仍为 $31,337。10 月 1 日前提交的报告照常处理,部分 Google Cloud 仓库可改走 Cloud VRP,官方承诺 2027 年一季度给出新方案。

核心要点速览

  • 生效时间:2026-10-01 起 OSS VRP 不再受理产品漏洞,见 官方规则页
  • 奖励清零:旗舰项目 $500–$7,500、重要项目 $101–$3,133.7 两档改为「-」,见 提交 f8bf23ad8
  • 未受影响:供应链攻击类目仍为 $3,133.7–$31,337(OT0)/ $1,337–$13,337(OT1)
  • 过渡路径:10 月 1 日前的报告照常处理;部分 Google Cloud 仓库可走 Cloud VRP,或申请 Patch Rewards
  • 时间表:Google 承诺 2027 年 Q1 公布 OSS VRP 产品漏洞类目的新形态
阅读全文
关联模型 / 智能体 / 厂商:
S
Spring@spring-projects·
👀89
🔥92

Spring AI 2.1.0-M1:接入 OpenAI Responses API,MessagePart 保序多模态,VectorStore.upsert 写入预计算向量

Spring 于 2026-09-25 发布 Spring AI 2.1.0-M1(里程碑)。本版三大能力:OpenAI Responses API 适配(把 reasoning/function_call/image 等 item 映成 ReasoningPart/ToolCallPart/MediaPart,并保留 item id/status 以便回放);AbstractMessage 引入有序 MessagePart 列表,让文本、推理、工具调用与媒体按模型产出顺序往返;VectorStore 新增 upsert,可直接写入调用方预计算的嵌入(pgvector/Redis/Elasticsearch/Qdrant 等已接线)。依赖升至 Spring Boot 4.2。面向要把 Responses 推理链与预计算向量管线接进 Spring 生态的团队,这是 2.1 线的首个可试用里程碑。

Spring AI 2.1.0-M1:接入 OpenAI Responses API,MessagePart 保序多模态,VectorStore.upsert 写入预计算向量

核心要点速览

  • 发版:v2.1.0-M1;Maven Central / Spring milestone 仓库均可解析 spring-ai-bom:2.1.0-M1
  • OpenAI Responses:reasoning→ReasoningPart(OpaquePayload 加密内容)、function_call→ToolCallPart、生成图→MediaPart;仅 function_call 进 ToolCallingAdvisor,避免把 web_search 当本地回调
  • MessagePart:Assistant/User/ToolResponse 共用有序 List<MessagePart>,旧 getText()/getToolCalls() 仍是视图,Jackson 3 用 type 鉴别器序列化
  • VectorStore.upsert:EmbeddedDocument 配对 Document+调用方向量;AbstractObservationVectorStore 打 UPSERT 观测;pgvector/Redis/ES/Qdrant 按 id 替换
  • 升级:对照 Upgrade Notes 2.1;Boot 升到 4.2,先在 milestone 仓试用再等 GA
阅读全文
关联模型 / 智能体 / 厂商:

lpm 开源:macOS 原生桌面工作区一键管理项目服务、终端与 Claude Code/Codex

@DanKornas 介绍 lpm(github.com/gug007/lpm):MIT 开源的 macOS 原生桌面应用,把开发项目的服务、终端与 AI 编码智能体放进同一工作区;可一键启停整项目并看实时终端输出,并行复制项目做特性分支,用配置文件跑服务子集或测试/迁移/部署,无需 Docker 即可原生跑服务,旁边直接挂 Claude Code、Codex 等智能体。

核心要点速览

  • macOS 原生工作区:项目服务、终端与编码智能体同屏管理。
  • 一键启停、项目复制并行开发、Profiles 跑测试/迁移/部署。
  • MIT 开源;服务原生运行无需 Docker,可并排跑 Claude Code/Codex。
阅读全文
关联模型 / 智能体 / 厂商:

Amp 可推送到 Vercel 部署:提交者无需付费席位,待遇对齐 Cursor / Claude Code

Amp Code CEO @sqs 宣布:Amp 向 Vercel 项目推送并部署时,Amp 提交者不再需要付费席位,现已与 Cursor、Claude Code 一样获得豁免。

核心要点速览

  • Amp 推送/部署 Vercel 项目时提交者免付费席位。
  • 豁免规则对齐 Cursor 与 Claude Code。
  • 降低用 Amp 做 CI/CD 落地的协作成本。
阅读全文
AD赞助内容

Cursor 推出 Projects:常驻协调智能体,持久线程调度子代理并共享记忆

Cursor 发布 Projects,用单一持久线程中的协调智能体替代“一事一聊”。智能体常开,主动用子代理管理任务,可设提醒、跑定时任务、跟进 PR 修 CI、监听 Slack 报障;项目内智能体共享记忆与计划/演示等产物,并在本机与智能体机器间自动同步。功能已进 beta,即日起逐步推送。

核心要点速览

  • Cursor 发布 Projects,用单一持久线程中的协调智能体替代“一事一聊”。智能体常开,主动用子代理管理任务,可设提醒、跑定时任务、跟进 PR 修 CI、监听 Slack 报障;项目内智能体共享记忆与计划/演示等产物,并在本机与智能体机器间自动同步。功能已进 beta,即日起逐步推送。
阅读全文
关联模型 / 智能体 / 厂商:

Hypernovum 开源:Obsidian 把项目笔记变成 3D 城,并从项目一键拉起编码智能体

@DanKornas 介绍 Hypernovum:桌面端 Obsidian 插件,把仓库里的项目笔记映射成可扫读的 3D 城市。frontmatter、Git 信号与双向链接变成建筑、街区与图层;可从项目直接启动 Claude Code、Codex、Antigravity CLI 或自定义命令,并查看分支/提交速度、脏树、过期项目与合并冲突。AGPL-3.0 开源。

核心要点速览

  • 项目笔记映射为 3D 城市,状态/优先级/反向链接变成可视信号。
  • 可从项目一键启动 Claude Code、Codex、Antigravity CLI 或自定义命令。
  • Git 活动透镜显示分支、脏树、过期项目与合并冲突;AGPL-3.0。
阅读全文
关联模型 / 智能体 / 厂商:

GoRaven 开源:团队自托管 Go 智能体平台,可读文件跑 Shell 并接 MCP

@sunsetsyntax 介绍 8treenet/goraven(v0.5.5):面向团队的自托管 AI 运行时,每人独立工作区,智能体可读写文件、跑 Shell、调 MCP 与内部 API,并共享项目与技能库。一条 Docker 命令拉起;数据留在自有机器。Apache-2.0,抓取时约 728 星。

核心要点速览

  • 团队自托管:独立工作区 + 共享项目/技能,而非纯聊天框。
  • 智能体可读文件、跑 Shell、调 MCP 与内部 API,交付结果。
  • Docker 一键;Apache-2.0,8treenet/goraven v0.5.5 约 728 星。
阅读全文

Replit Agent 新增 Custom Connectors,并为企业扩展 65+ 审计日志事件

Replit 周报宣布 Agent 支持 Custom Connectors,可连接其集成库之外的外部 API;企业版同时新增 65 个以上覆盖项目、部署、安全、SSO/SCIM、连接器、密钥与 Agent 活动的审计日志事件。更新让代理更容易接入内部系统,也让企业治理和追踪更完整。

核心要点速览

  • Custom Connectors 允许 Replit Agent 接入集成库之外的外部 API。
  • 企业审计日志新增 65 个以上事件,覆盖项目、部署、安全、SSO/SCIM、连接器、密钥与 Agent。
  • 代理扩展能力与企业治理能力同步升级,便于接入内部工作流并追踪操作。
阅读全文
关联模型 / 智能体 / 厂商:

CodeBarAI 开源:菜单栏统一追踪 Claude Code、Codex 与 Cursor 用量

开发者 Daniel Hernandez 发布开源 CodeBarAI macOS 菜单栏工具,统一查看 Claude Code、Codex 与 Cursor 的使用量和仓库改动,并可用 Apple 内置模型生成提交信息、打开项目及启动开发服务器。它把多款编码智能体的日常控制面板集中到一个轻量入口。

核心要点速览

  • 统一追踪 Claude Code、Codex 与 Cursor 的订阅用量及仓库改动。
  • 支持 Apple 内置模型生成提交信息并执行 commit/push。
  • 可从菜单栏打开项目、选择编码工具并启动开发服务器;项目已开源。
阅读全文