主要观点总结
新智元报道：微软在第十届GitHub开发者大会上宣布了多项革新，包括在GitHub Copilot中接入更多AI模型、推出零代码编程微应用平台GitHub Spark等。同时，Python已成为GitHub上最受欢迎的编程语言。文章还涵盖了GitHub的年度开发者报告，展示了全球开发者数量的增长、生成式AI项目的发展以及编程语言的崛起。
关键观点总结
关键观点1: GitHub Copilot接入进化版Claude 3.5 Sonnet和Gemini Pro 1.5模型
新模型提供更高的编码熟练度和多模态能力，有助于提升开发效率。
关键观点2: GitHub Spark平台的推出
这是一个基于自然语言构建应用程序的AI原生工具，无需编写或部署任何代码，通过三个紧密集成的组件实现应用构建。
关键观点3: 年度开发者报告显示Python成为GitHub上最受欢迎的编程语言
报告还揭示了全球开发者数量的增长、生成式AI项目的发展以及不同编程语言的崛起和变化。
关键观点4: 生成式AI在GitHub上的广泛应用
生成式AI项目数量同比增长98%，成为开发者工作中不可或缺的部分。
关键观点5: GitHub在教育领域的影响扩大
越来越多的学生、教师和开源维护者使用GitHub Copilot，AI在教育和技能培养方面展现出重要价值。
正文
【导读】
OpenAI再也不是微软的唯一解。第十届GitHub开发者大会上，微软官宣GitHub Copilot同时接入Claude 3.5 Sonnet和Gemini 1.5 Pro两大模型。同时，还发布了0代码开发应用的「魔法」平台。AI代码生成第二阶段已来。
一年一度GitHub开发者大会上，微软再次革新了码农的编码效率。
解绑OpenAI，接入进化版Claude 3.5 Sonnet和Gemini Pro 1.5。意味着，OpenAI o1-preview不再是唯一可用模型。
未来，GitHub Copilot中接入的地表最强三大模型，开发者们可以随意调用。
伴随着这一大动作，GitHub CEO正式宣告：AI代码生成早期阶段已经结束，第二阶段正式开启。
AI编码已经正式走向AI原生、AI智能体、多模型可选的阶段。
不仅如此，微软正式推出了AI零代码编程微应用平台GitHub Spark，还是多模态的那种。
为此，团队将其称之为「软件编程的Dumbledore」。也就是说，任何人动动嘴就能做App了。
它不仅能够根据一个提示构建轻App，还能自动保存每个迭代的版本。
比如，做一个可以学学西班牙语的闪卡，一句话就够了。
最终，GitHub希望用AI赋能10亿开发者，成为世界最大开发者社区。
凭借以上所有革新，微软真的可以与Cursor一战了。
更值得一提的是，Python已经成为世界使用最多的编程语言。
GitHub Copilot加入三大新模型：Claude、Gemini、OpenAI o1
在Copilot Chat中，o1-preview和o1-mini已经上线，Claude 3.5 Sonnet将在接下来的一周内推出，而Gemini 1.5 Pro将在未来几周内上线。
Claude 3.5 Sonnet（New）
Claude 3.5 Sonnet（New）能够处理多步骤的编码任务。
应用程序更新、代码重构、功能开发……所有复杂的编码任务只需一个指令！
在GitHub给出的案例中，用户输入指令「重构代码，将脚本和样式分离出来」后，Claude进行了4个步骤将脚本和样式从用户提供的HTML文件中分离出来，进行重构代码。
步骤1：创建一个新的CSS文件用于样式
步骤2：创建一个新的JavaScript文件用于脚本
步骤3：更新HTML文件，链接新的CSS和JavaScript文件
步骤4：从HTML文件中移除内联样式和脚本
随后，用户可以检查重构以后的代码文件预览。检查无误即可点击Accept和Done，完成重构代码任务。
Gemini 1.5 Pro
Gemini 1.5 Pro拥有200k token的上下文窗口，并且原生支持多模态，能够同时处理代码、图像、音频、视频和文本。
在Copilot Chat中，Gemini 1.5 Pro在常规代码建议、文档和代码解释方面也提供了令人印象深刻的响应速度！
比如，用户输入指令「如果网页当前不可见，则停止更新动画」。
1. 添加事件监听器来监听「visibilitychange」事件
2. 实现「handleVisibilityChange」函数，根据页面可见性启动和停止动画
然后，Gemini根据解决方案自动更新了相应的代码文件，还创建了一个README文档。
OpenAI o1
在Copilot Chat的应用中，o1的推理能力使其能够更深入地理解代码约束和边界情况，生成高效且高质量的解决方案。
o1的使用案例中，用户输入了指令「使页面在加载和渲染新的动画帧时更加高效」。
为了使页面在加载和渲染新的动画帧时更加高效，我们将用HTML5的「canvas」替换「div」元素网格。这样可以减少DOM元素的数量，并通过在「canvas」上直接进行绘图操作来提升渲染性能。
接着，o1自动修改了HTML文件：用「canvas」替换「div」元素网格，并更新JavaScript代码以在「canvas」上绘制网格。
如前所述，一年一度GitHub开发者大会上，微软正式推出了AI零代码编程微型应用平台GitHub Spark。
这是一个完全使用自然语言构建应用程序的AI原生工具！无需编写或部署任何代码！
什么是「微应用」？
微应用（micro apps）里的「微」，并不是指应用的价值大小，而是指其功能复杂度的规模。
目的在于为用户量身定制，打造「一个微应用专注做好一件事」的极致体验。
GitHub Spark的项目介绍网站中列举了一些团队在制作并使用的几个微应用。这些应用涵盖了动画、生活管理工具、学习辅助工具、个性化新闻客户端等多种类型。
它们的共同点是：每个应用的外观和功能都完全符合创建者的预期，不多也不少，恰到好处。
这个应用主要供父母使用，可以设置成只读或读写模式共享。当达到储蓄目标时，该应用还会使用大语言模型生成祝贺信息。
3. 用于管理每周卡拉OK聚会的应用，可追踪每位受邀好友的参与状态
这是一个10岁的孩子为了学习而创建的应用。它可以通过名称搜索城市，并使用大语言模型为每个城市生成有趣的简要概述。
这个应用可以展示HackerNews热门前20篇文章，并使用大语言模型对评论区进行总结。
