DeepSeek版o1，有消息了。还未正式发布，已在代码基准测试LiveCodeBench霸榜前三，表现与OpenAI o1的中档推理设置相当。注意了，这不是在DeepSeek官方App已经能试玩的DeepSeek-R1-Lite-Preview（轻量预览版）。而是摘掉了轻量版的帽子，称为DeepSeek-R1-Preview（预览版），意味着
......
本文由站长之家合作伙伴自媒体作者“量子位公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
快科技4月30日消息，今日，DeepSeek 今日在 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。据介绍，DeepSeek-Prover-V2-671B 其参数量达到6710亿，使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多种计算精度，方便模型更快、更省资源地训练和部署。在模型架构上，该模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。同时支持超长上下文，最大位置嵌入达163840，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提
【新智元导读】代码截图泄露，满血版o3、o4-mini锁定下周!更劲爆的是，一款据称是OpenAI的神秘模型一夜爆红，每日处理高达260亿token，是Claude用量4倍。奥特曼在TED放话:将推超强开源模型，直面DeepSeek挑战。持续的创新、丰富的资源和智能AI将会无缝融入日常生活，未来一代人将会觉得当前人们又辛苦又落后。
中国羽毛球队在2025年苏迪曼杯首轮比赛中5-0战胜阿尔及利亚队，赛前全队高喊"羽啸鼓浪巅，中国剑指天！"的霸气口号。这句由DeepSeek团队借助科技力量创作的口号，既体现了羽毛球运动精神，又展现了队员们的昂扬斗志。口号成为国羽标志性语言，激励队员为国争光。此次合作彰显科技与体育的完美结合，也体现了DeepSeek对体育事业的支持。未来期待DeepSeek继续发挥创意技术优势，为更多体育赛事提供支持，共同推动中国体育事业发展。
寒武纪凭借AI芯片业务实现扭亏为盈，2024年首次实现上市后盈利，2025年Q1营收11.11亿元同比暴增4230%，净利润3.55亿元。这家曾连亏8年、累计亏损54亿元的"中国版英伟达"，因美国对H20芯片出口管制获得市场红利，但客户集中度过高（前五大客户贡献94.63%营收）和现金流波动仍是隐忧。当前国产芯片迎来发展机遇，华为昇腾、壁仞等企业纷纷抢占市场，行业竞争日趋激烈。
短短60天内，中国AI原生应用下载排行榜的位次排名，就三易其主。最新情况是，截至4月15日中午，中国区苹果应用商店免费APP下载排行榜上，豆包再次超越DeepSeek，位列第二，紧随其后的DeepSeek被挤到了第三的位置，腾讯元宝则滑落到了第七名。2月13日，作为首家在C端主力产品中接入DeepSeek-R1满血版的元宝，一度趁着DeepSeek东风崛起:3月3日力压DeepSeek和豆包，首度登顶。但好景�
人工智能IQ哪家强？o3 智商高达 132、Gemini 2.5 Pro Exp. 拿下 128 分、Claude 凭借 3.7 Sonnet Extended 位列第四、Deepsee R 1……
DeepSeek 作为当前最受关注的大模型之一，凭借其技术创新正在加速 AI 普惠化进程。根据机构新报告显示，DeepSeek已经成为全球增长最快的AI工具，其每月新增网站访问量已经超过OpenAI的ChatGPT。DeepSeek市场份额全球第三目前，DeepSeek市场份额6.58%，仅次于ChatGPT和Canva。DeepSeek是继ChatGPT之后的又一现象级AI产品，它的市场份额从2.34%快速增长至6.58%，展现出强劲的增长态势。全球著名�
近日，三星电视正式接入DeepSeek-R1，AI能力进一步得到强化。据悉，用户无需复杂的操作步骤，唤醒智能语音助手三星小贝，在对应的语音助手对话页面内，即可便捷体验深度思考功能。三星电视融合DeepSeek大模型矩阵，通过强化学习、蒸馏技术等提升深度思考与推理能力，使得电视能够更准确地理解用户深层的意图和需求，为用户提供更流畅、更简单、更自然的交互与服务体�
“昔者仓颉作书天雨粟，鬼夜哭”——人类掌握文字后，天地为之动容，因为属于人类的文明诞生了。“仓颉作书”出自西汉《淮南子》，距离人类掌握文字已经过去了千年。AI进化的答案，或许早就镌刻在人类文明的起点里。
DeepSeek R1模型发布100天后，中国AI行业竞争格局被彻底重构。该模型3个月内用户突破1.9亿，成为国内最大AI原生应用。腾讯、百度等科技大厂纷纷接入，其中腾讯元宝APP借助DeepSeek流量一度登顶苹果应用下载榜。字节和阿里选择自研路线，字节推出"深度思考"功能，阿里则专注开源模型研发。随着DeepSeek热潮减退，豆包重回下载量榜首，元宝跌出前20。科技大厂在享受DeepSee
