快科技4月9日消息，今日，科大讯飞高级副总裁于继栋在上海AI无界智营全球”2025科大讯飞全球智能营销产品发布会上透露，讯飞星火X1将于近期再次升级。
升级后的讯飞星火X1在保持原有数学任务国内领先优势的基础上，推理能力、文本生成和语言理解等通用任务方面的效果将对标业界领先的OpenAI o1和DeepSeek R1模型。
此前在2025年1月15日，科大讯飞推出首个使用全国产算力训练的深度推理模型星火X1。
星火X1仅用1万张910B国产算力卡，就取得一系列研发成果，背后是科大讯飞在国产算力平台大量无人区适配和效率优化工作，真正将国产算力发挥到极致效率，为后续国产大模型适配国产算力开辟了道路。
后在2025年2月中旬的一次机构调研中，科大讯飞曾透露了其最新的研发进展：公司正在全力训练的纯国产算力平台星火X1”新版本，预计将在未来三个月内完成。
当时，科大讯飞曾宣称：这一新版本的发布，预期就可以实现数学答题和过程思维链能力全面对标甚至超过OpenAI o1。
（举报）
快科技4月15日消息，今日，电影《流浪地球 3》官宣开机，导演郭帆，吴京、沈腾等主演参加开机仪式。在开机仪式上，吴京表示，希望自己在戏里能多演喜剧，沈腾多演动作戏。据新浪电影官微，《流浪地球3》开机现场还介绍了一位新同事”自主研发的专属AI问答应用WEi。WEi基于国产大模型DeepSeek R1开发，通过整合多元化知识库资源，包括在线信息源的专业资料、图像和影视�
近日，三星电视正式接入DeepSeek-R1，AI能力进一步得到强化。据悉，用户无需复杂的操作步骤，唤醒智能语音助手三星小贝，在对应的语音助手对话页面内，即可便捷体验深度思考功能。三星电视融合DeepSeek大模型矩阵，通过强化学习、蒸馏技术等提升深度思考与推理能力，使得电视能够更准确地理解用户深层的意图和需求，为用户提供更流畅、更简单、更自然的交互与服务体�
本文介绍了多个前沿的人工智能产品和技术动态，包括SkyReels-V2视频生成模型、讯飞星火大模型升级、宇树科技人形机器人比赛计划、Coze Space AI协作平台、Gemma3 QAT优化模型、英特尔AI Playground工具、Reachy2人形机器人发布、ChatTS-14B语音研究项目、Figma推出AI设计工具以及MarkItDown MCP文档转换工具，展示了AI技术在多领域的广泛应用与创新发展潜力。
寒武纪凭借AI芯片业务实现扭亏为盈，2024年首次实现上市后盈利，2025年Q1营收11.11亿元同比暴增4230%，净利润3.55亿元。这家曾连亏8年、累计亏损54亿元的"中国版英伟达"，因美国对H20芯片出口管制获得市场红利，但客户集中度过高（前五大客户贡献94.63%营收）和现金流波动仍是隐忧。当前国产芯片迎来发展机遇，华为昇腾、壁仞等企业纷纷抢占市场，行业竞争日趋激烈。
快科技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量化，可通过量化技术减小模型大小，提
DeepSeek-R1是一款开创性的大型推理模型(LRM)，其研究揭示了AI推理能力的质变。该模型通过多阶段训练流程，将推理过程内嵌于模型本身，实现了从"提示驱动"到"内生推理"的模式转变。研究团队通过142页报告详细分析了R1的思维链，发现其推理过程具有高度结构化特征，包含问题定义、绽放周期、重构周期和最终决策四个阶段。模型展现出类人推理能力，能通过分
短短60天内，中国AI原生应用下载排行榜的位次排名，就三易其主。最新情况是，截至4月15日中午，中国区苹果应用商店免费APP下载排行榜上，豆包再次超越DeepSeek，位列第二，紧随其后的DeepSeek被挤到了第三的位置，腾讯元宝则滑落到了第七名。2月13日，作为首家在C端主力产品中接入DeepSeek-R1满血版的元宝，一度趁着DeepSeek东风崛起:3月3日力压DeepSeek和豆包，首度登顶。但好景�
英伟达发布开源Llama-Nemotron系列模型，性能超越DeepSeek-R1。该系列包含三个版本：8B、49B和253B参数模型，其中253B的Ultra版本在推理吞吐量和内存效率上表现突出。关键技术包括：1）采用神经架构搜索优化模型结构；2）通过知识蒸馏和持续预训练提升性能；3）结合合成数据监督微调；4）在STEM领域进行大规模强化学习训练。Ultra版本在GPQA基准测试中达到开源模型最高水平，单节点8xH100即可高效运行。模型创新性支持"推理开关"功能，通过指令动态切换推理模式。训练流程包含五阶段优化，最终模型在数学推理和通用任务上均表现优异，部分基准超越专有模型。
本教程指导初中教师如何利用Deepseek和Kimi两款AI工具高效完成备课全流程。Deepseek用于生成教学设计方案和PPT大纲，Kimi则根据大纲快速生成精美课件。操作步骤：1）在Deepseek输入教学需求生成教学设计；2）用Deepseek生成PPT大纲；3）将大纲粘贴至Kimi PPT助手一键生成课件。该方法特别适合日常备课、临时调课需求，能大幅提升备课效率，让教师既省时又高效。
DeepSeek R1模型发布100天后，中国AI行业竞争格局被彻底重构。该模型3个月内用户突破1.9亿，成为国内最大AI原生应用。腾讯、百度等科技大厂纷纷接入，其中腾讯元宝APP借助DeepSeek流量一度登顶苹果应用下载榜。字节和阿里选择自研路线，字节推出"深度思考"功能，阿里则专注开源模型研发。随着DeepSeek热潮减退，豆包重回下载量榜首，元宝跌出前20。科技大厂在享受DeepSee
