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

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

中国官方公布，近年来深入推进人工智能领域知识产权制度创新，并严厉打击抢注人工智能大模型“DeepSeek”（深度求索）等相关商标申请行为。 据中国网发布的文字实录，国家知识产权局局长申长雨星期四（4月24日）在新闻发布会上说：“近年来，国家知识 ...

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

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

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

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

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

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