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

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

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

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

In 2019, as OpenAI transitioned toward commercialization and Altman took the reins following Musk’s departure, Microsoft ...

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

【新智元导读】就在刚刚，DeepSeek-Prover-V2技术报告也来了！34页论文揭秘了模型的训练核心——递归+强化学习，让数学推理大提升。有人 ...

DeepSeek-Prover-V2-671B 使用了更高效 ... 并且有不少人质疑其真实性能。 日前，微软 CEO Satya Nadella 参加 Meta 的 LlamaCon AI 开发者大会，并在会上与 Meta ...

快科技4月30日消息，今日下午，DeepSeek 在 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。 据介绍，DeepSeek-Prover-V2-671B 其参数量 ...