GitHub Copilot

微软 GitHub 推出 AI 编程智能体，可自动修复漏洞和优化代码

GitHub在微软Build大会上宣布推出AI编程智能体，集成在GitHub Copilot中，可自动修复漏洞、添加功能和优化文档。该工具已向Copilot企业版和Plus用户开放。#AI编程# #GitHubCopilot#

5/20/2025 12:23:51 AM

远洋

GitHub Copilot 推出视觉功能：图片可秒变代码

GitHub 宣布了其 AI 编程助手 Copilot 的一系列重大更新，此次更新中最引人注目的功能之一是 Copilot 的“Vision”功能。该功能允许用户在聊天中上传截图、照片或图表，Copilot 将基于这些图像生成相应的界面、代码以及替代文本（alt text），从而将用户的视觉想法转化为实际的编程成果。

2/8/2025 9:30:22 AM

远洋

更新了！带Agent的Cursor太疯狂了

AI 辅助编程工具这条赛道越来越卷了。新晋 AI 编程神器 Cursor，终于迎来了一次备受关注的版本更新，Cursor 0.43 来了。新版本最大亮点之一是推出了 Composer Agent 功能，其具有完整的项目理解 / 编辑能力。

11/25/2024 2:24:00 PM

机器之心

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：不可思议，它能从定理名字猜出我想要的方向

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

10/23/2023 3:49:00 PM

机器之心

资讯热榜

智谱AI全新企业级超级助手Agent CoCo正式上线苹果发布全新Xcode 26开发者工具：内置ChatGPT先进AI功能豆包App“一句话P图”功能全新升级基于SeedEdit 3.0实现全面优化 DeepSeek前高管秘密创业，新AI Agent项目已获顶级VC押注 Google AI Studio 政策变动:Gemini2.5Pro 模型免费访问遭“限流” 那个男人回来了！Ilya现身多伦多大学毕业典礼：AI 像是用数字方式复制出来的大脑！不管你愿不愿意，AI都将深刻影响你的一生！ ChatGPT 语音功能升级，实时翻译对话更自然流畅苹果向开发者开放本地AI能力，推出全新Foundation Models框架

标签云

人工智能 AI OpenAI AIGC 模型 ChatGPT DeepSeek AI绘画谷歌数据机器人大模型 Midjourney 用户智能开源微软 GPT 学习 Meta 图像技术 AI创作 Gemini 论文马斯克 Stable Diffusion 算法英伟达代码 Anthropic 芯片开发者生成式蛋白质腾讯神经网络训练 3D 研究生成智能体苹果计算 Sora 机器学习 AI设计 Claude AI for Science GPU AI视频人形机器人搜索华为百度场景大语言模型 xAI 预测伟达深度学习 Transformer LLM 字节跳动 Agent 模态具身智能神器推荐工具文本视觉 LLaMA 算力 Copilot 驾驶大型语言模型 API RAG 应用架构