Claude 4家族正式发布，包含Claude Opus 4和Claude Sonnet 4两个版本，直接把编程AI的天花板又顶高了一截。 相比前代Sonnet 3.7，Sonnet 4在编程和推理能力上都有显著提升，在SWE-bench上拿下了72 ...

【新智元导读】数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？

梦晨 发自 凹非寺量子位 | 公众号 QbitAI Mistral沉默好久，果然在憋大招。 刚刚发布最新开源编程模型Devstral，在软件工程任务上一举超过DeepSeek全家桶和Qwen3 235B。

微软旗下GitHub于周一宣布推出Copilot AI代理，这一工具旨在通过自动化编程任务提升开发效率。开发者只需在 GitHub 平台上为Copilot分配任务（如 “修复支付模块漏洞” 或 “将代码重构为React组件”），AI代理即会启动工作，完成后以 “眼睛” 表情符号通知用户，并将成果存入新文件、附上任务总结。（新浪财经） ...

除了近两天大会内容披露的AI编程工具，美国初创软件设计公司Figma发布类似Lovable的AI编程功能FigmaMake。国内大厂中，阿里云基于自研Qwen3 ...

在2025年5月20日的Google I/O开发者大会上，谷歌宣布其AI编码助手Jules正式进入全球公测阶段，面向所有拥有Google和GitHub账户的开发者开放。 这一基于Gemini2.5Pro模型的异步编码代理，旨在通过自动化处理繁琐的编码任务，如修复Bug、编写测试和更新依赖，提升开发者效率。 异步任务处理与GitHub无缝集成 Jules通过在Google Cloud虚拟机（VM）中 ...

IT之家 5 月 19 日消息，Android 平台 Windows 游戏模拟器 Winlator 的项目开发者 BrunoSX 曾在 4 月下旬突然宣布暂停开发，但如今其官方 GitHub 页面已更新，表示开发者即将回归。 Winlator ...

微软旗下的代码托管巨头GitHub近期宣布了一项创新举措，正式推出了名为Copilot AI代理的全新智能工具。这款工具融合了前沿的人工智能技术，旨在为开发者提供一个自动化解决重复性编程任务的高效方案，从而大幅提升他们的工作效率与代码质量。

伴随着编程智能体的发展，“人类可以放弃编程了，将繁琐的写代码工作通通都丢给AI”，诸如此类的言论层出不穷，其中也不乏许多科技公司的CEO表示赞同，例如Replit的CEO Amjad Masad就在他的社媒这样写道： ...

AI 编辑器代码编辑器的未来是开放，且由人工智能驱动的！在过去的十年里，VS Code[1] 已成长为 GitHub 上最成功的开源项目之一。近日，微软在 Build 2025[2] 大会上宣布，广受欢迎的代码编辑器 Visual Studio ...

IT之家 5 月 20 日消息，谷歌 AI 编程智能体 Jules 迈入新开发阶段，在 2024 年 12 月私人预览后，最新开启全球公测，任意拥有 Google 账号的开发者现在都可以使用这款 AI 工具。IT之家援引官方介绍，Jules ...

【环球网科技综合报道】5月20日消息，微软旗下代码托管平台GitHub正式宣布推出全新工具——Copilot ...