| 相关关键词：微软 , 阿里 , 模型 , 开源 , DeepSeek R2 , 参数 , 小米 , 大模 |
| 相关概念：微软禁止员工使用中国 , 阿里巴巴通义千问 , 开源模型 , 全球开源模型榜首 , 模型参数 , 小米开源首个推理大模型 |
| |
| 自由开讲》DeepSeek引发的警讯——中国AI扩张下的国家安全与资讯自由 ＠ 2025-05-11T |
| 杨聪荣美国联邦众议院美中战略竞争特别委员会于4月16日发布的报告，揭露了中国AI新创公司DeepSeek的潜在威胁，为国际社会敲响了一记警钟。 |
| 关键词：微软 |
| 概念：微软禁止员工使用中国 |
| 阿里(09988.HK)通义千问成日本AI开发基础 ＠ 2025-05-08T |
| 据《日经新闻》报道，阿里-W(09988.HK)旗下阿里云自研大语言模型通义千问(Qwen)在日本广受采用，作为向外部开放的开源模型，通义千问正成为日本企业... |
| 关键词：阿里 模型 开源 |
| 概念：阿里巴巴通义千问 , 开源模型 |
| 阿里巴巴千问3挑战DeepSeek R1霸榜地位 ＠ 2025-05-08T08: |
| 阿里巴巴日前推出千问3（Qwen3）系列模型，被视为要与DeepSeek R1竞争。而在人工智慧（AI）模型排名网站LiveBench上，Qwen3也如愿成为最佳开源模型。 |
| 关键词：阿里 模型 开源 |
| 概念：全球开源模型榜首 , 阿里巴巴通义千问 |
| DeepSeek新数学模型刷爆记录！ 7B小模型自主发现671B模型不会的新技能 ＠ 2025-05-04T |
| DeepSeek放大招！新模型专注数学定理证明，大幅刷新多项高难基准测试。在普特南测试上，新模型DeepSeek-Prover-V2直接把记录刷新到49道。目前的第一名... |
| 关键词：模型 DeepSeek R2 参数 |
| 概念：模型参数 |
| DeepSeek｜DeepSeek R2料5月面世 成本较GPT-4低97% 传彻底弃用Nvidia投奔华为晶片 ＠ 2025-05-04T |
| 【DeepSeek】中国人工智能企业DeepSeek在今年初发布其DeepSeek R1大模型震撼AI业界，甚至一度引发NVIDIA股价大幅下跌。近日，有内地消息指出，... |
| 关键词：模型 DeepSeek R2 参数 |
| 概念：模型参数 |
| DeepSeek R2拟五月登场 传全面采用华为升腾910B晶片取代NVIDIA ＠ 2025-05-04T |
| 在中美科技战白热化之际，中国AI新星“深度求索”（DeepSeek）再传有重大突破。市场消息透露，DeepSeek将于5月推出升级版大模型“DeepSeek R2”， |
| 关键词：模型 DeepSeek R2 参数 |
| 概念：模型参数 |
| DeepSeek新数学模型刷爆记录！ 7B小模型自主发现671B模型不会的新技能| 科技 ＠ 2025-05-03T16: |
| DeepSeek放大招！新模型专注数学定理证明，大幅刷新多项高难基准测试。在普特南测试上，新模型DeepSeek-Prover-V2直接把记录刷新到49道。目前的第一名... |
| 关键词：模型 DeepSeek R2 |
| 概念： |
| 小米3股抢上 “米模”威力检测 ＠ 2025-05-02T |
| 小米（01810）最新开源大模型“Xiaomi MiMo”（简称米模），在数学推理及代码领域表现优势。 ￭ 小米基本面强劲，未来可透过愈趋成熟的AI技术，进一步提升旗下... |
| 关键词：小米 模型 大模 |
| 概念：小米开源首个推理大模型 |
| 彻底摆脱辉达？传DeepSeek R2于5月发布 全部用华为晶片 ＠ 2025-05-01T |
| 年初陆企深度求索的DeepSeek R1大模型的问世撼动美国AI圈，甚至引发辉达的股价暴跌。在大陆与全球AI竞争对手的高... |
| 关键词：DeepSeek R2 模型 参数 |
| 概念：模型参数 |
| DeepSeek开源数学证明模型Prover-V2-671B ，较上一代参数量提高近百倍 ＠ 2025-05-01T |
| DeepSeek又在假期到来的时候有新动作了。刚刚，DeepSeek 在毫无预告的情况下，突然在Hugging Face 平台上开源了最新数学定理证明专用... |
| 关键词：模型 DeepSeek R2 参数 |
| 概念：模型参数 |