微软 Build 2025：AI 智能体的时代正式开启
微软Build 2025大会发布智能代理时代。GitHub Copilot升级为自主代理，可独立执行开发任务；Microsoft 365 Copilot新增五大模块；Elon Musk宣布Grok接入Azure。微软推出AI Foundry工厂、Agentic Web架构和NL Web描述语言。Copilot在教育、医疗等一线应用中表现突出，加速科学研究。
GitHub Copilot
陶哲轩“喂饭级”AI教程来了！只用GitHub Copilot证明函数极限问题
视频新人博主陶哲轩展示了如何使用GitHub Copilot来证明数学定理，从函数极限问题入手，演示了求和、求差和求积定理的证明过程，并强调了正确引导Copilot的重要性。
重磅！微软宣布开源Copilot！用 5000 万用户直接碾压 Cursor和Windsurf？
微软宣布GitHub Copilot扩展项目开源，并采用MIT许可证。此举使开发者能够免费访问AI编程助手的完整源代码并参与功能改进。微软指出大模型能力提升、通用UI组件统一设计和成熟开源生态是开源的几个理由。Copilot代理现在可以自动完成修复bug、添加功能等任务，提升了开发效率。
Google重磅推出Jules，可自主生成PR，硬刚OpenAI的Codex！
谷歌发布Jules编程智能体，可帮助开发者提交代码并处理多种编码任务。该工具在GitHub上提供了五个免费任务，并计划今年晚些时候推出额外功能。与Copilot等竞争对手相比，Jules提供了一个更用户友好的界面和集成的解决方案。
Visual Studio 重磅更新！擅长处理复杂任务的 GitHub Copilot “智能体模式”预览版上线
GitHub Copilot 智能体模式正式登陆 Visual Studio 17.14 预览版，可自主处理开发流程。智能体模式下的 Copilot 可以自主确定上下文、建议终端命令并持续迭代直至任务完成，并引入 MCP 服务器支持更多外部工具和资源交互。
未来已来？看陶哲轩如何“蒙眼狂奔”，33分钟让AI完成高难度数学形式化证明
陶哲轩分享了利用GitHub Copilot与Lean结合canonical策略的形式化数学证明实验，该实验针对Bruno Le Floch提供的一页纸等式理论证明。陶神尝试以低级别逐行方式形式化一个高度精确的“体力活”证明，并总结为AI辅助下的新范式。
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩发布视频演示如何借助AI仅用33分钟完成复杂证明，他的订阅量和观看量迅速增长。他开发的数学助手也迎来2.0版本升级，用于简化某些命题逻辑的证明任务。