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

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

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

2025年5月22日，Anthropic在Code with Claude开发者大会上宣布其最新模型Claude Sonnet 4和Claude Opus ...

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

Investing.com — 周五，全球投资银行杰富瑞 (Jefferies)在参加西雅图举行的微软Build大会后，重申了对微软公司 (Microsoft Corporation) (NASDAQ: MSFT ...

在业界公认最权威的编程基准测试SWE-bench Verified上， Opus 4拿下了72.5%的成绩！ 更恐怖的是，Claude Opus 4在Terminal-bench上得分 43.2% ，能Opus ...

【TechWeb】5月23日消息，AI编码模型冠军又易主了！Open AI最强竞争对手Anthropic正式发布了下一代Claude模型：Claude Opus 4和Claude Sonnet 4。Anthropic称：“Claude Opus ...

Investing.com — 周四，艾佛科ISI（Evercore ...

根据《金融时报》报道，Builder.ai首席执行官Manpreet Ratia于5月20日对内宣布，公司资金已耗尽，将启动破产程序。这家AI平台创业公司至今共募得超过5亿美元资金，背后投资者包括微软、亚马逊与卡塔尔主权基金等重量级资金。

Anthropic 表示，Claude Opus 4 是一款全球领先的编码模型，它在复杂、长时间运行任务和智能体工作流中拥有持续的高性能。Claude Sonnet 4 是 Claude Sonnet 3.7 ...

比如，它可以在连续24小时畅玩宝可梦，而之前版本Claude 3.7 Sonnet只能连续玩 45 分钟。 此外，有位最近一直用Opus搞编程的网友表示，Benchmark上的成绩完全不能代表Claude 4的成就： ...