今天凌晨4点，著名大模型训练平台Together AI和智能体平台Agentica，联合开源了新模型DeepCoder-14B-Preview。该模型只有140亿参数，但在知名代码测试平台LiveCodeBench的测试分为60.6%，高于OpenAI的o1模型（59.5%），略低于o3-mini(60.9%)。在Codeforces、AIME2024上的评测数据同
......
本文由站长之家合作伙伴自媒体作者“ AIGC开放社区公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
OpenAI 称，由于很多用户喜欢使用 Deep Research 功能，所以将推出轻量版 Deep Research，且此版本面向所有用户开放……
快科技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量化，可通过量化技术减小模型大小，提
OpenAI的新AI模型o3在第一方和第三方基准测试中存在差异，引发公众对其透明度和测试实践的质疑。去年12月，o3首次亮相时声称能解答超过25%的FrontierMath问题，但实际正确率仅为2%。内部测试发现，o3能达到超过25%的准确率，但其使用的计算资源比上周OpenAI推出的模型多得多。Epoch AI发布的独立基准测试结果显示，o3的得分约为10%，远低于OpenAI宣称的25%。尽管如此，这并不意味着OpenAI的说法有误，可能是因为OpenAI使用了更强大的内部架构进行评估，并采用了更多计算资源。此外，Epoch指出其测试设置可能与OpenAI不同，并且在评估中使用了更新版本的FrontierMath。
人工智能IQ哪家强？o3 智商高达 132、Gemini 2.5 Pro Exp. 拿下 128 分、Claude 凭借 3.7 Sonnet Extended 位列第四、Deepsee R 1……
寒武纪凭借AI芯片业务实现扭亏为盈，2024年首次实现上市后盈利，2025年Q1营收11.11亿元同比暴增4230%，净利润3.55亿元。这家曾连亏8年、累计亏损54亿元的"中国版英伟达"，因美国对H20芯片出口管制获得市场红利，但客户集中度过高（前五大客户贡献94.63%营收）和现金流波动仍是隐忧。当前国产芯片迎来发展机遇，华为昇腾、壁仞等企业纷纷抢占市场，行业竞争日趋激烈。
本文介绍了AI领域多项最新进展：1）快手推出电商AI作图工具Poify，提升商品展示效率；2）字节跳动开源8B参数代码模型Seed-Coder，展现强大编程能力；3）DeepSeek App入选2025全球十大IP；4）Claude AI新增网页搜索功能；5）苹果发布移动端视觉语言模型FastVLM；6）腾讯推出3D形状生成框架PrimitiveAnything；7）首个智能文档处理基准发布；8）谷歌Gemini2.5Pro实现6小时视频理解；9）研究显示简洁提问易致AI错误；10）首款AI智能浏览器Fellou发布；11）NVIDIA推出音频生成技术Audio-SDS；12）Kimi入驻小红书，转向内容深耕。这些创新展现了AI在电商、编程、多模态理解等领域的快速发展。
英伟达发布开源Llama-Nemotron系列模型，性能超越DeepSeek-R1。该系列包含三个版本：8B、49B和253B参数模型，其中253B的Ultra版本在推理吞吐量和内存效率上表现突出。关键技术包括：1）采用神经架构搜索优化模型结构；2）通过知识蒸馏和持续预训练提升性能；3）结合合成数据监督微调；4）在STEM领域进行大规模强化学习训练。Ultra版本在GPQA基准测试中达到开源模型最高水平，单节点8xH100即可高效运行。模型创新性支持"推理开关"功能，通过指令动态切换推理模式。训练流程包含五阶段优化，最终模型在数学推理和通用任务上均表现优异，部分基准超越专有模型。
【AI日报】主要报道了AI领域的最新动态：1)百度发布文心大模型X1Turbo和4.5Turbo，性能价格优势显著；2)百度推出AI开放计划，降低开发者门槛；3)OpenAI免费开放轻量版Deep Research研究工具；4)即梦视频3.0内测展示流畅运镜和精准表情捕捉能力；5)百度发布全球首个内容操作系统"沧舟OS"；6)百度文库与网盘联合推出GenFlow超能搭子和AI笔记工具；7)Pixverse推出MCP协议简化AI视频创作；8)Tavus发布突破性唇形同步模型Hummingbird-0；9)豆包1.5深度思考模型上线，提供免费额度；10)Adobe整合OpenAI和Google模型升级Firefly创意平台；11)ImageSlider2.0即将加入Gradio核心产品线；12)李彦宏谈DeepSeek现存痛点，强调多模态能力与降本需求。
OpenAI发布全新图像生成模型GPT-image-1，通过API向全球开发者开放。该模型支持精细控制图像敏感度、生成效率、背景、输出格式等参数，并集成吉卜力模式。Adobe、Figma等企业已将其应用于产品中。API支持批量生成、蒙版编辑、透明度调整等高级功能，图像生成成本从0.02-0.19美元/张不等。CEO Sam Altman表示该模型与ChatGPT版本差异显著，开发者可通过API实现更多创意场景。新模型在�
本教程指导初中教师如何利用Deepseek和Kimi两款AI工具高效完成备课全流程。Deepseek用于生成教学设计方案和PPT大纲，Kimi则根据大纲快速生成精美课件。操作步骤：1）在Deepseek输入教学需求生成教学设计；2）用Deepseek生成PPT大纲；3）将大纲粘贴至Kimi PPT助手一键生成课件。该方法特别适合日常备课、临时调课需求，能大幅提升备课效率，让教师既省时又高效。
