AI在线 AI在线

GitHub Copilot

3 个月新增 500 万，微软 GitHub Copilot 累计用户突破 2000 万

3 个月新增 500 万，微软 GitHub Copilot 累计用户突破 2000 万
AI在线 7 月 31 日消息，在最新财报电话会议上，微软首席执行官萨提亚・纳德拉（Satya Nadella）宣布，由微软旗下 GitHub 推出的 AI 编程助手 GitHub Copilot，“历史累计用户数”已超过 2000 万。 这意味着在过去三个月内，就有约 500 万人首次尝试使用该工具，此前在今年 4 月，GitHub 公布的用户数为 1500 万。 AI在线注意到，尽管用户增长迅猛，但微软与 GitHub 并未披露其中有多少人仍在持续使用该服务，例如月活跃或日活跃的用户规模。
7/31/2025 4:02:34 PM
远洋
微软 GitHub 推出 AI 编程智能体，可自动修复漏洞和优化代码

微软 GitHub 推出 AI 编程智能体，可自动修复漏洞和优化代码
GitHub在微软Build大会上宣布推出AI编程智能体，集成在GitHub Copilot中，可自动修复漏洞、添加功能和优化文档。该工具已向Copilot企业版和Plus用户开放。#AI编程# #GitHubCopilot#
5/20/2025 12:23:51 AM
远洋
GitHub Copilot 推出视觉功能：图片可秒变代码

GitHub Copilot 推出视觉功能：图片可秒变代码
GitHub 宣布了其 AI 编程助手 Copilot 的一系列重大更新，此次更新中最引人注目的功能之一是 Copilot 的“Vision”功能。该功能允许用户在聊天中上传截图、照片或图表，Copilot 将基于这些图像生成相应的界面、代码以及替代文本（alt text），从而将用户的视觉想法转化为实际的编程成果。
2/8/2025 9:30:22 AM
远洋
更新了！带Agent的Cursor太疯狂了

更新了！带Agent的Cursor太疯狂了
AI 辅助编程工具这条赛道越来越卷了。 新晋 AI 编程神器 Cursor，终于迎来了一次备受关注的版本更新，Cursor 0.43 来了。 新版本最大亮点之一是推出了 Composer Agent 功能，其具有完整的项目理解 / 编辑能力。
11/25/2024 2:24:00 PM
机器之心
o1之后，GitHub又接入Claude、Gemini，网友：也杀不死Cursor

o1之后，GitHub又接入Claude、Gemini，网友：也杀不死Cursor
那些转到 Cursor 的用户，会不会又被吸引过来呢？ 从今天起，GitHub Copilot 用户可以有更多模型选择了。 包括 Anthropic 的 Claude 3.5 Sonnet、Google 的 Gemini 1.5 Pro 以及 OpenAI 的 o1-preview 和 o1-mini，这些模型首先在 Copilot Chat 中推出。
10/30/2024 1:20:00 PM
机器之心
陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向

陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向
尝鲜 GPT-4 之后，陶哲轩又用上了 Github Copilot。这一次，他的试用场景是学习 Lean 语言并利用其形式化数学定理。对于大模型来说，形式化的定理证明也算一种挑战。形式化证明本质上是一种计算机程序，但与 C 或 Python 中的传统程序不同，证明的正确性可以用证明助手（比如 Lean 语言）来验证。定理证明是代码生成的一种特殊形式，在评估上非常严格，没有让模型产生幻觉的空间。而陶哲轩提到的定理，来自 10 月 9 日的一篇论文：论文中的这个证明只有不到一页，但陶哲轩的形式化证明使用了 200
10/23/2023 3:49:00 PM
机器之心
  • 1