将马斯克的xAI等公司的AI模型集成到微软云服务的举措，凸显了微软在人工智能领域投资策略的转变。 当地时间5月19日，微软在西雅图举办的年度软件开发者Build大会上宣布，将在该公司自有数据中心提供包括xAI、Meta以及Mistral等公司开发的全新人工 智能模型。当天，微软还发布了一款能够自主完成软件编程任务的全新人工智能工具。 受人工智能需求提振，微软目前已经成为全球市值最高的企业，最新市值突破了3.4万亿美元。 将马斯克的xAI等公司的AI模型集成到微软云服务的举措，凸显了微软在人工智能领域投资策略的转变。作为ChatGPT开发商OpenAI的股东，微软正在将投 资分散至更广泛的人工智能领域参与者。 微软CEO萨蒂亚·纳德拉（Satya Nadella）在主题演讲中表示，微软此举的目的是让开发者能够混合搭配并使用所有这些不同的模型。 纳德拉在开幕式的演讲中与马斯克举行了视频对话。马斯克的意外亮相引发关注——他去年将OpenAI连同微软一起告上法庭，反对OpenAI转变为营利性企 业。 OpenAI首席执行官萨姆·奥尔特曼也在当天的大会上通过视频直播与纳德拉进行了交谈。 当天，微软GitHub发布了一款 ...

在全球，智能编程的市场规模预估为百亿美元量级。 而在这其中，Julia Liusion 是最为关键的人物之一。GitHub、Visual Studio、TypeScript 、Azure 开发者 平台……在微软，你能叫出名字的一切开发者服务项目，几乎都处于 Julia 的直接管理之下。Anders Hejlsberg、Erich Gamma 等一众顶尖技术大牛，都在 Julia 的团队中向其汇报。 加入微软超过三十年，Julia 不仅深度塑造了微软的开发者文化，也带领微软的相关产品成功跨越周期 ——GitHub Copilot 成为有史以来第一款由 GenAI 驱动的大型智能编程应用，到了 2025 年 5 月，用户 规模已经超过 1500 万。 编程界最有权势的"代码女王"？这是一个数年前诞生自中文互联网的"古老称呼"，但到今天为止，依然 是对 Julia Liusion 最形象的描述。 在对话开始前，InfoQ 试图用一个小时的时间，来寻找多个关键问题的答案，包括：微软和 Cursor 关于 C/C++ 插件的授权争议、微软内部对于智能编程的思考、微软大牛如何使用 AI 工作、微软如何围绕 AI 面试程序 ...

机器之心报道 机器之心编辑部 从编程开始，今年智能体要卷飞了！！！ 昨天，OpenAI CEO 奥特曼预告了一项新研究，吊足了所有人的胃口。 就在刚刚，谜底揭晓！OpenAI 宣布， 在 ChatGPT 中引入了 Codex 的研究预览版。 Codex 是一个云端软件工程智能体，可以并行处理多项任务 ，包括编写功能、解答代码库相关问题、修复 bug 以及提交拉取请求以供审核等。并且，每个任务都 在其专属的云沙盒环境中运行，并预加载代码库。 Codex 背后的模型是 codex-1，它是 OpenAI o3 的一个版本，专门针对软件工程进行了优化。 它使用强化学习在各种环境中针对真实编程任务进行训练，生成的 代码能够高度反映人类的风格和 PR 偏好，精确遵循指令，并可以迭代运行测试，直到获得合格结果。 自今天开始，ChatGPT Pro、Team 和 Enterprise 用户即可使用 Codex，Plus 和 Edu 用户也很快可以上线使用。 对于 OpenAI 的新智能体产品，大家的反应似乎非常兴奋。有人表示自己被震撼到了，迫不及待想要体验一番。十年前学习编程时，绝对想不到这会成为可能。 也有人认为，Cod ...