当地时间 5 月 19 日，为期四天的微软 Build 年度开发者大会正式拉开序幕，CEO 萨提亚·纳德拉（Satya Nadella）携一众高管发表主题演讲，还隔空连线了 OpenAI CEO 山姆·奥特曼、英伟达 CEO 黄仁勋和 xAI CEO ...

当地时间5月19日，微软在其举行的Build 2025开发者大会上宣布，将把埃隆·马斯克的xAI公司的Grok 3和Grok 3 mini人工智能模型引入Azure AI Foundry平台，作为微软在公司云平台内直接托管和收费的新产品。

微软公司 (MSFT.US)正在将埃隆·马斯克 (Elon Musk)的xAI模型加入其人工智能平台。微软周一表示，马斯克的人工智能团队今年早些时候推出的Grok 3将在微软的云计算平台上使用。微软在1月份表示，其人工智能套件——包括云基础设施和人工智能应用——有望带来至少130亿美元的年收入。

今年 1 月在瑞士达沃斯举行的世界经济论坛上，纳德拉原本计划展示公司在 AI 领域的领先地位，但被 Deepseek 的 R1 推理模型抢了风头。R1 的性能接近 OpenAI，但成本极低 ——OpenAI 处理成本 1000 美元的任务，R1 仅需 ...

在人工智能的浪潮中，微软首席执行官萨蒂亚·纳德拉（Satya Nadella）最近的战略调整引发了广泛关注。5月15日，彭博社发布的一篇文章详细阐述了纳德拉如何迅速应对DeepSeek-R1模型的崛起，这一全新AI模型的出现不仅挑战了微软在AI领域的领导地位，更促使其进行了一系列深思熟虑的战略变革。

微软此前已透露出裁员的信号。今年1月，微软董事长兼首席执行官萨蒂亚·纳德拉 (Satya Nadella)表示，由于公司与人工智能无关的Azure云收入增长低于预期，公司将对销售执行情况进行调整。但人工智能云业务的增长表现超出了内部预期。

微软此前已透露出裁员的信号。今年1月，微软董事长兼首席执行官萨蒂亚·纳德拉 (Satya Nadella)表示，由于公司与人工智能无关的Azure云收入增长低于预期，公司将对销售执行情况进行调整。但人工智能云业务的增长表现超出了内部预期。

大运河安徽段是隋唐大运河通济渠的主要组成部分。安徽省境内大运河西起淮北市濉溪县与河南省永城市交界处，东至安徽省宿州市泗县与江苏省泗洪县交界处，流经淮北、宿州两管家婆正版四不像图库市，全长180多公里。其中，通济渠泗县段是隋唐大运河现存不多的活态遗址，也是保存最完好的河段之一，成为研究隋唐大运河的“活化石”。

IT之家5 月 1 日消息，深度求索（DeepSeek）昨日（4 月 30 日）在 AI 开源社区 Hugging Face 上，发布名为 DeepSeek-Prover-V2-671B 的新模型，随后在 GitHub等平台上公布了论文信息。 IT之家援引论文介绍，DeepSeek-Prover-V2 是一款专注于形式化数学推理的开源大型语言模型 ...