一大早，Llama4重磅发布了!Meta官宣开源首个原生多模态Llama4，首次采用的MoE架构，支持12种语言，首批发布一共两款:Llama4Scout:共有1090亿参数，17B活跃参数，16个专家，1000万上下Llama4Maverick:共有4000亿参数，17B活跃参数，128个专家，100万上下文另外，2万亿参数Llama4Beh
......
本文由站长之家合作伙伴自媒体作者“新智元公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
快科技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量化，可通过量化技术减小模型大小，提
寒武纪凭借AI芯片业务实现扭亏为盈，2024年首次实现上市后盈利，2025年Q1营收11.11亿元同比暴增4230%，净利润3.55亿元。这家曾连亏8年、累计亏损54亿元的"中国版英伟达"，因美国对H20芯片出口管制获得市场红利，但客户集中度过高（前五大客户贡献94.63%营收）和现金流波动仍是隐忧。当前国产芯片迎来发展机遇，华为昇腾、壁仞等企业纷纷抢占市场，行业竞争日趋激烈。
DeepSeek发布数学推理模型DeepSeek-Prover-V2，包含7B和671B两个参数版本。该模型采用"递归+强化学习"训练方法，在MiniF2F测试集上达到88.9%通过率，解决了PutnamBench中的49道题目。关键技术包括：1) 使用DeepSeek-V3分解复杂定理生成子目标；2) GRPO算法从多个候选方案中自动学习最优解；3) 通过思维链整合非形式化推理与形式化证明。模型在AIME竞赛题和教科书题目上也表现优异，7B小模型意外在部分问题上超越大模型。论文指出该方法为通向AGI提供了正确路径，未来将扩展至IMO级别数学难题。
本教程指导初中教师如何利用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
【AI日报】今日AI领域重要动态：1.百度发布文心快码3.5及多模态AI程序员"文心快码Comate Zulu"，提升开发效率；2.字节跳动启动"Top Seed"计划，招募30名AI博士人才；3.DeepSeek开源R1T Chimera模型上线OpenRouter平台；4.阿里AI工程师余亮获"全国劳动模范"称号；5.开源图像编辑工具Step1X-Edit登陆Hugging Face，性能媲美GPT-4o；6.谷歌被曝每月向三星支付巨额资金预装Gemini应用
官方介绍，鸿蒙电脑历经五年布局，集结10000多名顶尖工程师，联合20多家研究所，积累超2700项核心专利。
本文介绍如何利用AI工具Deepseek快速制作专业简历。传统简历制作依赖WPS模板或作图软件，过程繁琐。现在通过Deepseek平台，只需输入自然语言指令（如工作经验、技能等关键信息），系统即可自动生成排版精美的HTML版简历，还能转换为PDF格式。操作流程分三步：1.访问官网输入需求指令；2.查看并运行生成的HTML代码；3.保存文件或转为PDF。该工具特别适合求职者快速制作突出个人优势的专业简历，大幅提升求职效率。
中国羽毛球队在2025年苏迪曼杯首轮比赛中5-0战胜阿尔及利亚队，赛前全队高喊"羽啸鼓浪巅，中国剑指天！"的霸气口号。这句由DeepSeek团队借助科技力量创作的口号，既体现了羽毛球运动精神，又展现了队员们的昂扬斗志。口号成为国羽标志性语言，激励队员为国争光。此次合作彰显科技与体育的完美结合，也体现了DeepSeek对体育事业的支持。未来期待DeepSeek继续发挥创意技术优势，为更多体育赛事提供支持，共同推动中国体育事业发展。
在智能交互方面，Flyme AIOS2接入DeepSeek R1满血版，具备深度思考能力，并提供三种模式供用户选择。此外，星纪魅族成为首家接入阿里云首个端到端全模态大模型通义千问Qwen - Omni的厂商，这使得系统能带来更敏捷聪明、更具拟人情感的超自然语音对话体验，正式
