#AI编程

共 338 篇相关资讯,按重要度与时间排序,每 3 小时更新。

★ 4

Anthropic 为 AI 智能体重设计源码管理系统 Scion

Anthropic 披露其自研版本控制系统 Scion,并在五个月内将单体仓库从 git 全量迁移。原因是 Claude 让代码合并量从每天约 2500 次增至 3 万次以上,git 的分布式设计已无法承载。Anthropic 还同步上线代码评审工具 Antique 与代码搜索等基础设施。

Hacker News – AI12 天前
★ 4

Gemini 4 Argon 曝光:助 Chrome 完成六百万行代码重构

Hacker News 热帖讨论 Gemini 4 Argon 帮助 Chrome 团队将核心网页处理逻辑从约六百万行遗留代码中分离,完成跨数百文件的架构重构。该能力有望让网页在标签页、侧边栏与浮窗间无缝迁移且不重载。

Hacker News19 天前
★ 4

GitHub推出AI代码审查基准ReviewBench

GitHub发布ReviewBench,一个面向AI代码审查的开放基准,用于评估AI在代码评审任务上的表现。该基准有望推动AI编程助手在代码质量把关环节的标准化评测。

Hacker News – AI27 天前
★ 4

AI编程创企Cognition年化收入达10亿美元

AI 编程初创公司 Cognition 年化收入突破 10 亿美元,成为 AI 编程赛道商业化的重要里程碑。这一数据表明企业对 AI 辅助编程工具的需求持续强劲,也凸显该领域竞争与估值的水涨船高。

Hacker News – AI31 天前
★ 4

SWE-Proof:用机器可验证证明评测代码生成

作者提出 Benchproofer 流水线,将带有已知正确补丁的编码任务转化为形式化验证任务,并据此构建 SWE-Proof,包含 500 个经形式化验证而非测试验证的真实 issue。评测发现测试通过的补丁中有四分之一到一半存在反例,而正确形式化规范可将 Opus 4.8 的解决率从 85% 提…

arXiv cs.LG41 天前
★ 4

国产旗舰模型成本仅 Opus 5 八分之一

一款国产旗舰模型瞄准 AI 编程与金融等场景,单次调用成本仅为 Opus 5 的八分之一,并跻身 AA 榜单全球前三。该模型以高性价比切入企业级应用市场,显示出国产大模型在成本效率上的竞争力。

InfoQ AI42 天前
★ 4

MAGS多智能体框架为生成代码提供形式化安全保证

论文提出多智能体框架MAGS,针对LLM编码智能体生成代码难以人工审查的安全风险,以Dafny作为可验证中间表示,冻结人工审计的API与安全需求,将生成代码翻译为Dafny并利用验证器反馈修复违规,再编译回可执行程序。在100个CUDA内核、100个终端脚本和20个机械臂任务共220个样例上,实现…

arXiv cs.AI44 天前
★ 4

AI编程创企Factory估值暴涨至50亿美元

AI编程初创公司Factory估值增长逾三倍,达到50亿美元,显示资本对AI编程工具赛道的持续追捧。该领域竞争激烈,Factory凭借自动化软件开发能力获得高估值。

Hacker News – AI47 天前
★ 3

HN 讨论:前沿模型写代码 80% 正确,20% 错得极隐蔽

Hacker News 用户发帖讨论 Opus 5.5、Astra、Sol 6.1、Fable 5.1、Gemini Argon 等前沿模型在真实代码库中的错误模式:约八成代码正确,两成错误极为隐蔽,需深入理解系统才能发现。作者举例称模型为图省事合并两个后端 fake,掩盖了并发写入失步的真实缺陷…

Hacker News – AI6 小时前
★ 3

AI 写掉几乎所有代码后,软件工程何去何从

Pragmatic Engineer 撰文讨论当 AI 承担几乎全部编码工作后,软件工程师的职责、技能结构与职业路径将如何重构。文章在 Hacker News 引发讨论,关注点集中在代码审查、系统设计与工程判断力的价值迁移。

Hacker News – AI1 天前
★ 3

思科让 27 岁员工用 AI 重写 98% 遗留代码

据 Fortune 报道,思科总裁 Jeetu Patel 给予一名 27 岁员工不限量的 AI token 额度,让其用 AI 重写公司 98% 的遗留代码。此举被视为 AI 重塑企业软件开发与初级岗位的典型案例,在 Hacker News 引发讨论。

Hacker News – AI2 天前
★ 3

AI 零帧起手写算子,反超 DeepSeek 人类手写巅峰 9.8%

有团队用 AI 从零生成算子代码,性能超过 DeepSeek 人类手写的最优版本,速度快 9.8%。此前该方案已连续登上昇腾三榜第一。这显示 AI 自动生成底层算子正在逼近甚至超越资深工程师的手写调优水平。

量子位2 天前
★ 3

Simon Willison:2026 年 10 月成“氛围游戏开发”拐点

Simon Willison 认为继 2025 年 11 月编码智能体拐点之后,2026 年 10 月成为“氛围编程做游戏”的新拐点。他指出 Claude Opus 5.5 在 3D 建模、音乐生成和游戏设计上有明显提升,使模型从“看起来像游戏”迈向“真正好玩”。文中列举了 Tree Apprec…

Simon Willison Blog4 天前
★ 3

InfraDev:评测编程智能体开发 AI 基础设施的能力

论文提出 InfraDev 基准,包含 36 个源自 Megatron-LM、vLLM 与 verl 真实 PR 的任务,覆盖训练、推理与强化学习基础设施开发,需跨多文件、多 GPU 正确运行。六个前沿模型最高仅解决 38.9% 的任务,隐藏探针拒绝了 32% 通过官方测试的提交,用原始 PR 描…

arXiv cs.AI4 天前
★ 3

微软 CTO 斯科特谈微软如何悄然转型做 AI

微软 CTO Kevin Scott 在访谈中回顾微软为拥抱生成式 AI 所做的内部转型,并以木工手工具与电动工具的争论类比开发者对 AI 编程工具的态度。文章指出微软在 VS Code、GitHub 等开发者生态中的主导地位,使其对 AI 编程的理解具有全球影响。

快公司5 天前
★ 3

Linus Torvalds:AI 对合格开发者没问题,但别提交随手补丁

Linux 创始人 Linus Torvalds 表示,AI 工具对有能力的开发者是好事,但他反对由 AI 生成的「drive-by」随手补丁涌入内核社区。他强调代码质量与提交者的理解责任,认为低质量 AI 补丁会增加维护负担。此番表态延续了开源社区对 AI 生成代码的审慎态度。

Hacker News – AI6 天前
★ 3

AI 从需求到上线全流程开发,软件开发组织面临重构

文章讨论 AI 智能体已能覆盖从需求分析到代码上线的一整条软件开发链路,由此引发软件开发组织形态与分工的调整。核心观点是:当 AI 承担更多端到端开发任务,团队结构、协作流程与人员角色都需要重新设计。

InfoQ AI6 天前
★ 3

NBER 论文比较各代 AI 编程工具的生产力差异

美国国家经济研究局(NBER)发布工作论文,比较不同代际 AI 编程工具在「写代码」与「交付代码」上的生产力差异。研究提示编码速度提升未必等比例转化为实际交付效率。

Hacker News – AI9 天前
★ 3

AI 找 Bug 太快,PostgreSQL 19 发布节奏受冲击

报道指出,AI 工具发现代码缺陷的速度远超人类修复速度,给 PostgreSQL 19 的发布节奏带来压力。这反映出 AI 辅助代码审查在开源社区中带来的新协作挑战。

InfoQ AI9 天前
★ 3

Xcode 27.2 推出智能体友好的 JSON 项目配置格式

苹果 Xcode 27.2 引入基于 JSON 的项目配置格式,对智能体(AI Agent)更友好,并有效减少团队协作中的合并冲突。这一变化有望让 AI 编程工具更顺畅地读写和修改 Xcode 项目文件。

InfoQ AI9 天前

2026-W44本周 Claude Code 因 10-30 扩展后门事件被 3 篇报道跟进,问题出在扩展环节而非模型本身。相比此前围绕编码能力的讨论,本周焦点转向供应链与权限安全,说明 AI 编程工具的风险正从输出质量蔓延到插件生态的可信度。

这个主题的相关资产

相关标签

AI编程 最新资讯与动态(338 篇) - 智讯 AI News