GitHub Copilot 拥抱多模型,将引入 Claude 3.5 Sonnet 和 Gemini 1.5 Pro

感谢GitHub CEO Thomas Dohmke 在官方博客宣布,GitHub Copilot 将不再仅仅依赖 OpenAI 的 GPT 模型,而是转向多模型策略。 未来几周内,Anthropic 的 Claude 3.5 Sonnet 将率先集成到 Copilot Chat 的 Web 和 VS Code 界面中,随后谷歌的 Gemini 1.5 Pro 也将加入。 此外,GitHub 还将支持更多 OpenAI 模型,包括 GPT o1-preview 和 o1-mini,这些模型在高级推理方面比 GPT-4 更强大。
感谢GitHub CEO Thomas Dohmke 在官方博客宣布,GitHub Copilot 将不再仅仅依赖 OpenAI 的 GPT 模型,而是转向多模型策略。

GitHub Copilot 拥抱多模型,将引入 Claude 3.5 Sonnet 和 Gemini 1.5 Pro

未来几周内,Anthropic 的 Claude 3.5 Sonnet 将率先集成到 Copilot Chat 的 Web 和 VS Code 界面中,随后谷歌的 Gemini 1.5 Pro 也将加入。此外,GitHub 还将支持更多 OpenAI 模型,包括 GPT o1-preview 和 o1-mini,这些模型在高级推理方面比 GPT-4 更强大。开发者可以根据需要在不同模型之间切换,甚至在同一对话中切换,而组织可以为团队成员选择可用的模型。

这一多模型策略旨在满足不同开发场景的需求,因为不同的模型在不同的编程语言或任务类型上表现不同。Dohmke 表示,没有一种模型能够适用于所有场景,多模型选择将成为 AI 代码生成领域的未来趋势。

除了 Copilot Chat,GitHub 还将为 Copilot Workspace、多文件编辑、代码审查、安全自动修复和 CLI 等功能引入多模型选择。

AI在线注意到,GitHub Copilot 还将迎来一系列其他改进,包括扩展功能、多文件编辑、Xcode 支持预览等。

除了 Copilot 的升级,GitHub 还推出了 Spark,一款基于自然语言的应用开发工具。非专业开发者可以通过一系列自然语言提示创建简单的应用程序,而专业开发者可以更精确地调整细节。无论是哪种用户,都可以通过对话方式提出要求,不断迭代和优化应用程序。

与 Copilot Chat 类似,GitHub Spark 也支持来自 OpenAI、谷歌和 Anthropic 的多种模型。目前,Spark 处于早期预览阶段,仅限部分用户体验。

GitHub Copilot 是 2021 年最早获得广泛应用的商业 AI 工具之一,但微软随后推出了名为 Copilot 的工具,将其应用于多个产品和场景。尽管微软对 OpenAI 进行了大量投资,但 GitHub Copilot 转向多模型策略引发了人们对微软其他 AI 聊天产品的未来发展的猜测。

微软于 2018 年收购了 GitHub,但两家公司似乎保持了相对独立的运营。

然而,这并不意味着微软认为多模型策略同样适用于其面向普通用户的 AI 产品。对于开发者来说,不同模型在不同语言等方面的表现存在差异,而对于普通用户来说,这种差异可能并不明显。因此,GitHub 的多模型策略并不意味着微软的整个 AI 产品线都会随之改变。

相关资讯

从现在起,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 将是开发者的「第二个大脑」。在编码的过程中,最头疼的莫过于遇到不熟悉的软件仓库、编程语