就在刚刚，Anthropic正式发布Claude 4系列模型：Claude Opus 4和Claude Sonnet 4。没喊口号，没搞长篇论文，这次Claude升级的关键词只有一个：干活。据Anthropic宣称，Opus 4是目前全球最强的编程模型，能够稳定胜任复杂且持续时间长的任务和Agent工作流。而Sonnet 4则着重强化了编程和推理能力，能更精准地响应用户的指令。
微软扔出了一个重磅炸弹：VS Code 将开源 GitHub Copilot Chat 扩展，并采用最宽松的 MIT 协议。微软扔出了一个重磅炸弹：VS Code 将开源 GitHub Copilot Chat 扩展，并采用最宽松的 MIT 协议。
数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？
在Google I/O的第二天，硅星人有机会和Google CEO Sundar Pichai交流。在这场小范围的沟通中，Pichai及Google的多名核心业务负责人回答了从搜索到广告再到AI等多个问题。今年是Pichai执掌Google的第十年，过去三年带领Google从OpenAI的冲击中走出，如今看来很可能成为他CEO生涯至今打过的最重要一仗。
昨天，微软在 Build 大会上刚刚甩出“Windows 子系统”和“Copilot 开源”的重磅炸弹，整个开发者圈还没从热议中缓过劲来，转眼今天凌晨，谷歌就在 I/O 大会上掏出了自己的“王炸”牌——一场 AI 盛宴，正式上演！
视频新人博主陶哲轩又更新了！这次是“喂饭级”AI教程—— 手把手演示如何只用GitHub Copilot证明函数极限问题。
OpenAI与Anthropic高层最新发声：AI写代码已成现实，初级程序员或将被取代。从自动生成代码到自我进化AI，技术革命正在重构整个编程世界。程序员该何去何从？被淘汰还是转型？
深谙“整合”之道的字节，又做了件大事。
ChatGPT「舔狗化」事件背后，暴漏目前AI仍是「黑箱」。 一场关于「机制可解释性」的路线分歧，正撕裂AI研究最核心的价值共识。谷歌认怂，Anthropic死磕——AI还能被「看懂」吗？
强化学习（RL）+真实搜索引擎，可以有效提升大模型检索-推理能力。
