GitHub 宣布在 Copilot Chat 中提供多种 AI 工具,并发布 GitHub Spark
周二(10/29)宣布,将于 Chat中同时提供的o1-与o1-mini,的 3.5 ,以及的 1.5 Pro供用户选择,同一天也发布了可完全利用自然语言构建应用程序的AI工具 Spark。
最早是在2021年与联手,利用开发的Codex人工智能系统打造 ,目的是让AI充当结对工程师。Codex是 GPT-3的早期版本,针对撰写程序代码进行了微调,之后 陆续采用了GPT-3.5、GPT-4、 GPT 3.5-turbo、GPT 4o与4o-mini 。
对于从只与合作到扩大合作伙伴,解释,过去一年来人们经历了许多高品质且擅长不同程序设计任务的大、小语言模型,可明显看出下一阶段的AI程序代码生成功能将不仅由多模态功能来定义,而会由多模型选择来主导,致力于成为开放开发者平台的,将确保每个开发人员都能够使用最适合的模型来构建。
因此, Chat中除了既有的 o1-与o1-mini模型之外,下周将出现 3.5 , 1.5 Pro则会在未来几周登场,并可应用在 、多文件编辑、程序代码审查、安全自动修复及CLI等,未来也会将多模型选择延伸到更多服务上。
每个模型各有擅场,其中, o1-与o1-mini模型的推论能力,能够更深入地理解程序代码的限制条件与边界状况,因而能产生高效与高品质的结果; 3.5 擅长在整个软件开发生命周期中撰写程序代码,展现对复杂与多步骤程序代码撰写任务的熟练程度; 1.5 Pro支持200万个Token的脉络长度,可同时处理文本、程序代码、图像、声音与视频,在程序代码建议、文件及解释上有良好的回应速度。
除了宣布 Chat支持多模型之外,还发布了 Spark。这是一个基于AI的开发工具,允许用户完全利用自然语言来构建应用程序。
图片来源/
Spark的3大组件分别是一个基于自然语言(NL)的编辑器,一个托管的运行环境,以及一个支持PWA( Web Apps)的仪表板。说,用户可利用 Spark来创造与分享微程序,这些微程序是针对特定需求与偏好打造的,完全不需要撰写或部署任何程序代码,就能直接在桌面与移动设备上使用。
例如要求它创建一个用来学西班牙文的教学卡片程序,并借由自然语言或选择不同的模型来要求各种功能;或是要求它构建一个程序可让用户评论所访问景点;也能创建一个用来关注小孩零用钱的程序等。
不过,目前 Spark处于非常早期的状态,仍在封闭测试阶段,仅开放少数用户参与测试。