北京时间周五凌晨，知名 AI 创业公司 Anthropic 正式推出 Claude 4 系列大模型。先期推出的型号包括 Claude Opus 4 和 Claude Sonnet 4，它们为代码生成、高级推理和 AI 智能体树立了全新标准。

美国联邦贸易委员会（FTC）7月12日正式撤销对微软687亿美元收购动视暴雪的全部反垄断诉讼，为这场持续近两年的全球游戏行业最大并购案画上句号。此次决定距联邦法院驳回FTC上诉仅三天，标志着监管机构通过法律手段阻止交易的最后努力宣告失败。微软副董事长 ...

复杂推理，编程能力都有飞跃，上来就会「勒索人类」。 全世界都在等待 GPT-5、DeepSeek V4，但今天起，大模型竞争已经进入了全新阶段。 北京时间周五凌晨，知名 AI 创业公司 Anthropic 正式推出 Claude 4 系列大模型。先期推出的型号包括 Claude Opus 4 和 Claude Sonnet 4，它们为代码生成、高级推理和 AI 智能体树立了全新标准。 Anthro ...

微软发布.NET Aspire 9.3更新，重点在于强化人工智能辅助调试、分布式服务管理与云计算平台集成。新版本将GitHub Copilot深度集成至.NET Aspire仪表板，提升开发人员的人工智能调试与日常运维效率，同时加强多云环境的应用管理功能。 .NET ...

在美国当地时间5月19日举办的微软2025Build大会主题演讲中，微软CEO萨提亚·纳德拉宣布，世界已经进入智能体时代，正在见证AI系统如何以全新方式帮助我们解决问题。

Anthropic AI编程助手Claude Code也迎来全面开放，从研究预览转为正式产品。这一编程助手接入了Claude Opus 4模型，能实时映射和解释百万行级别的代码库。 Claude Code与GitHub、GitLab、VS Code、JetBrains IDE和命令行工具集成，可直接嵌入至开发终端中。Claude Code提供按量计费、每月100美元和每月200美元的3种订阅方案。

与此同时值得玩味的是，近年彼此有龃龉的 Sam Altman 和伊隆・马斯克都出现在大会连线屏幕上，与微软 CEO 纳德拉各自单独对话。与前两年不同，Sam Altman 今年并没有现场出席，甚至没有什么笑容，坊间不少传言称微软与 OpenAI ...

值得一提的是，伴随Claude 4的问世，为了让开发者们能构建更强大的AI Agent，Anthropic在自家API方面上新了3个新功能，分别是：代码执行工具、MCP连接器、文件API，以及长达一小时的缓存提示能力。

Visual Studio Code（VS Code）团队宣布，GitHub Copilot Chat 扩展的前端代码开源了，还是 MIT 许可证，而且要把它整合到 VS Code 核心代码里。 以后 AI 功能就是 VS Code ...

雅娴： Vibe Coding是AI专家、前OpenAI联合创始人Andrej Karpathy提出一种新的编程范式，指的就是不用像传统程序员一样一行一行敲代码，而是用自然语言描述，让大语言模型来生成代码。如果Vibe Coding能实现从编程语言向自然语言这种范式转移，意味着程序员不需要再去看代码的细节，只做一些指导或者评论反馈，就能实现编程的需求。

数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？