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 中推出。

那些转到 Cursor 的用户,会不会又被吸引过来呢?

从今天起,GitHub Copilot 用户可以有更多模型选择了。

包括 Anthropic 的 Claude 3.5 Sonnet、Google 的 Gemini 1.5 Pro 以及 OpenAI 的 o1-preview 和 o1-mini,这些模型首先在 Copilot Chat 中推出。

此前,OpenAI o1-preview 和 o1-mini 已经推出,Claude 3.5 Sonnet 将在下周逐步推出,Google 的 Gemini 1.5 Pro 将在未来几周内推出。

图片

Claude 3.5 Sonnet

Anthropic 发布的 Claude 3.5 Sonnet 模型擅长处理整个软件开发生命周期的编码任务 —— 从初始设计到错误修复、从维护到优化。在这些任务中,Claude 3.5 Sonnet 都表现的非常出色。o1之后,GitHub又接入Claude、Gemini,网友:也杀不死Cursor

Gemini 1.5 Pro

Google 最新 Gemini 模型在各种编码场景中表现出极高的能力。Gemini 1.5 Pro 上下文窗口达 200 万个 token,并且原生支持多模态,能够同时处理代码、图像、音频、视频和文本。o1之后,GitHub又接入Claude、Gemini,网友:也杀不死Cursor

o1-preview 以及 o1-mini

OpenAI o1-preview 和 o1-mini 模型配备了比 GPT 4o 更先进的推理能力。这些模型的推理能力可以更深入地理解代码约束和边缘情况,从而产生高效、高质量的结果。o1之后,GitHub又接入Claude、Gemini,网友:也杀不死Cursor

Perplexity + GitHub Copilot

除了对模型更新外,现在 Perplexity 也已经集成到 GitHub Copilot 中,可以帮助用户回答编程中遇到的问题,这项新功能还能提供实时可验证的参考来源,增加答案的可靠性。o1之后,GitHub又接入Claude、Gemini,网友:也杀不死Cursor

GitHub Spark

为了实现 GitHub 覆盖 10 亿开发者的愿景,研究团队还推出了 GitHub Spark。这是一款完全以自然语言构建应用程序的 AI 原生工具。

Spark 集成了 AI 功能和外部数据源,用户无需管理任何云资源。利用创意反馈循环,用户从初始提示开始,并可以在构建应用程序时查看实时预览,轻松查看每个请求的选项,并自动保存每次迭代的版本,以便他们可以随时比较不同版本的效果。o1之后,GitHub又接入Claude、Gemini,网友:也杀不死Cursor

看到这,GitHub Copilot 这次更新诚意还是很大的。

在此之前,Copilot 首个公开版本使用的是 Codex,也就是 OpenAI GPT-3 的早期版本,之后 2023 年推出 Copilot Chat,搭载的也是 OpenAI 的模型 GPT-3.5 和后来的 GPT-4。

现在 Copilot 接入了更多模型供大家选择,大家纷纷猜测可能是受到 Cursor 的影响,毕竟 Cursor 把默认模型切到了 Claude,虽然 OpenAI 重金进行了投资。

GitHub Copilot CEO Thomas Dohmke 也进行了一波宣传,Claude 3.5 Sonnet 上线 Copilot。

图片

有网友认为,这是 GitHub Copilot 追赶 Cursor 的一种表现,随着新模型的加入,GitHub Copilot 会赢回一批用户。毕竟很多程序员都转到 Cursor 了,因为那里可以使用 Claude-3.5-Sonnet。

图片

还有网友表示,「可能要切换回 VS Code 了。」

图片

「太好了!也许我可以重新激活我的 GitHub Copilot 订阅。」

图片

还有网友表示:「老实说,我不认为 Cursor 是一个可靠的解决方案。它只是在使用 4o 和 Claude 方面比 Copilot 更胜一筹。如果 Copilot 也这么做,这很容易被取代,而微软确实这么做了。」

图片

不过有人并不同意,表示「GitHub 花了两年时间才承诺类似的功能,在速度方面,Cursor 赢麻了,再次超越微软。」

图片

「Cursor 并没有被杀死。」

图片

GitHub Copilot 和 Cursor 你选哪个?欢迎评论区留言。

参考链接:

https://github.blog/news-insights/product-news/bringing-developer-choice-to-copilot/

相关资讯

从现在起,GitHub上超1亿开发者可直接访问全球顶级大模型,构建AI应用

GitHub 推出的全新功能「GitHub Models」将有望加快 AI 工程师时代的到来。什么?大家熟悉的代码托管平台 GitHub 又进化了!该平台也开始提供 AI 大模型的 Playgroud 了。所有你能叫得上名字的业界流行大模型,包括微软的 Phi-3、OpenAI 的 GPT-4o、Meta 的 Llama 3.1、Cohere 的 Command R 、Mistral AI 的 Mistral Large,都可以在一个交互式沙盒中试用。在未来几个月,Github 也将添加更多语言、视觉以及其他类型的

陶哲轩上手Copilot:不可思议,它能从定理名字猜出我想要的方向

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

开发者「第二大脑」来袭,GitHub Copilot更新,人类开发参与进一步减少

Copilot 帮助开发者完成更大、更复杂的任务。是什么让 Andrej Karpathy 感慨,人类在软件开发过程中直接编写代码的贡献将越来越小,直接输入和监督作用将更加抽象化。最终,人类的角色将仅仅是进行基本的审核和确认,而不再是主要的编程和开发者。原来是 GitHub 新发布的 Copilot Workspace,它重新构想了开发者的内部流程。如果 AI 开发工具是开发者的第二双手,那么 Copilot Workspace 将是开发者的「第二个大脑」。在编码的过程中,最头疼的莫过于遇到不熟悉的软件仓库、编程语