陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩发布视频演示如何借助AI仅用33分钟完成复杂证明，他的订阅量和观看量迅速增长。他开发的数学助手也迎来2.0版本升级，用于简化某些命题逻辑的证明任务。
GitHub Copilot
通过几步设置，让你在Cursor中同时使用Augment、Cline、Roocline | 移到右栏
通过简单的几步设置，用户可以在Cursor中同时使用Augment、Cline、Roocline等多种AI编码工具，从而提高效率和解决问题的可能性。
速递｜Endor Labs获9300万美元B轮融资，估值翻数倍，AI代码安全赛道成新战场
Endor Labs完成9300万美元B轮融资，估值较A轮高出几个数量级。公司主要提供扫描AI生成代码以查找漏洞的工具，目前有133名员工。新资金将用于扩展平台。
GitHub Copilot 现可在 Windows 终端中运行了
GitHub Copilot 集成到 Windows 终端 Canary 中的‘终端聊天’功能使用户能够与 AI 服务互动，获取与其终端上下文相关的智能建议。
用10款AI产品取代整个开发团队
在2025年的背景下，多种AI工具正在取代传统开发团队70%的工作负担。这些工具包括GitHub Copilot、ChatGPT、Uizard/AI Wizard、Durable.co、Testim.io等，能够帮助开发者简化代码编写、UI设计、自动化测试及QA工程等工作，显著提高工作效率和工作质量。
当AI成了同事，程序员还能做什么？
随着AI大模型的发展，GitHub Copilot、Cursor等工具的出现，程序员开始思考代码写作的核心竞争力是否会被取代。AI能生成代码，但能否理解和安全使用仍存疑虑。MCP协议被提出作为标准化接口，旨在提升开发者与AI模型的交互效率。
GitHub Copilot大更新，增加了MCP支持，推出Copilot Agent模式
GitHub Copilot大更新引入Agent模式，支持MCP服务、多种AI模型，并推出Pro+订阅计划和代码审查功能。