微软 CEO 纳德拉：离了 AI 软件开发没法想！编程如诗都是“压缩”。社区：必须拥抱变化。

微软CEO纳德拉在访谈中表示，如今软件开发离不开AI，AI编程已成标配。他强调AI本质是赋能人类的工具，还提及AI普及挑战，同时保持对AI局限性的清醒认知，分享领导哲学与诗意展望。

Kimi K2 Thinking突袭！智能体&推理能力超GPT-5，网友：再次缩小开源闭源差距

Kimi K2 Thinking发布并开源，主打“模型即Agent”，能边思考边用工具，连续工具调用200 - 300次。在多评测基准超GPT - 5等闭源模型，代码权重遵循MIT协议，可在官网和应用实测。

这个开源 SKill，把 AI 短剧制作变成了一条可复制的工业流水线！

AI短剧圈子现开源项目shuohao - skills，是给AI编码助手用的“插件”。它将小说到可投产素材流程拆成五个模块，有清晰设计理念，每步有代码级质量检查，核心亮点多，能实现稳定生产。

2025年4月17日消息，OpenAI 连发o3和o4 mini，o3为强大推理模型，o4-mini专为高效推理优化。它们能调用ChatGPT工具，可基于图像思考。OpenAI还开源本地代码智能体Codex CLI，兼容所有模型。

6个Agent组团Vibe Gaming：自己生成、试玩、修Bug

过去大模型生成的游戏虽代码能跑，但常陷入“可玩性黑洞”。Spellcaster让多个专用Agent协同处理，形成“生成—运行—检查—修复”循环。目前能快速生成多种游戏原型，未来将用世界模型直接生成画面。

苹果OS全家桶12年最狠升级！AI入侵一切，唯独Siri没更

春季WWDC开幕，苹果OS全家桶迎十多年最大版本升级，统称OS 26。苹果AI进化，支持实时翻译、看屏搜物等。开发者工具升级，三行代码可调用苹果AI。各系统在设计、功能上均有革新。

AI时代，开发者不能再当 i 人了，「云计算代言人」敬告

亚马逊云科技副总裁 Jeff Barr 时隔 16 年再访中国，对比两个技术时代。他认为 AI 带来创新与挑战，开发者需强大沟通力。还介绍亚马逊云科技工具 Kiro 及新开发模式，预测未来软件开发形态转变。

国产模型新盛况！王座易主：Kimi K2 Thinking开源超闭源

月之暗面开源 Kimi K2 Thinking 模型，多方面性能超 GPT - 5 等闭源模型。它擅长多轮调用工具和持续思考，在多项基准测试达 SOTA 水平，成本低且授权宽松，引发全网讨论。

Agentic Coding表现创新高，全新KAT系列模型强势霸榜SWE-Bench

快手 Kwaipilot 团队推出 KAT 系列两款 Agentic Coding 大模型，KAT - Dev - 32B 开源，KAT - Coder 闭源。两模型在 SWE - Bench Verified 表现出色，且在多训练阶段创新优化，有强大代码生成能力和涌现现象。

OpenAI 内部是怎么使用 Codex 的.pdf

文章基于对 OpenAI 工程师的采访和内部使用数据，汇总了 Codex 在 OpenAI 内部的使用案例和最佳实践。展示其在代码理解、重构迁移等七大场景的应用，还给出使用的最佳实践，认为未来潜力大。