性能领先、开源普惠、国产易获取的三重势能，造就了年初DeepSeek的技术平权狂热，掀起AI普惠浪潮。

随着 DeepSeek-R1 的流行与 AI4Math 研究的深入，大模型在 辅助形式化证明写作 方面的需求日益增长。作为数学推理最直接的应用场景， 形式化推理与验证（formal reasoning and verification） ...

近日，技术博主 Hrishbh Dalal 的实践表明，这个问题的答案是肯定的。并且他在这个过程中用到了 DeepSeek 开发的 GRPO 算法，最终他「成功在一个小型数独数据集上实现了高奖励和解答」。

人工智能技术的发展主要依赖于深度学习、神经网络等先进算法。中科软的7B和32B模型正是在此基础上进行设计和优化的。这些模型不仅支持广泛的开源架构，还通过整合多领域的数据集进行训练，从而确保高效的文本生成和语音识别。具体来说，7B模型拥有70亿个参数，而32B模型的参数量则达到320亿，在提升语义理解深度的同时，实现了更高的生成质量。这一技术特性使得中科软的产品在激烈的市场竞争中脱颖而出，成为众多企 ...

IT之家 3 月 4 日消息，微软今日宣布，通过 Azure AI Foundry 接入 DeepSeek-R1 7B 和 14B 蒸馏模型，为 Copilot+ PC 提供本地运行 7B 和 14B 模型的能力。 早在今年 1 月，微软就宣布计划将 ...

引言 在人工智能的迅速发展中，生成式AI应用正不断推陈出新。3月22日，南京的科技领域再度掀起波澜，DeepSeek发布了其最新的开源多模态模型——Janus Pro。这款模型不仅扩展了DeepSeek在AI界的影响力，更凭借其创新的架构设计在性能上超越了LLaVA、DALL-E3等主流对手。Janus Pro的发布标志着生成式AI进入了一个全新的阶段，本文将深刻解析其背后的技术细节与创新理念。

多机构联手巧妙应用计算最优TTS策略，不仅0.5B模型在数学任务上碾压GPT-4o，7B模型更是力压o1、DeepSeek R1这样的顶尖选手。 今天，一篇多机构联合 ...

微软助力深度学习，接入DeepSeek-R1 7B和14B蒸馏模型，为Copilot+ PC提供本地运行能力，引领深度学习新潮流。该量化方法提升了模型运行效率，为PC用户提供了更多选择。微软在深度学习领域的技术实力得到展现。

倒反天罡了，新方法让DeepSeek蒸馏的Qwen数学能力反超R1满血版，7B反超671B。 除此之外，0.5B模型超过GPT-4o，1.5B的DeepSeek蒸馏Qwen超过o1-mini和o1-preview ...

Microsoft积极推动AI于本机上运行，近日宣布，将针对Copilot+ PC推出“NPU优化”的DeepSeek-R1 AI模型，并率先支持在高通Snapdragon X设备，随后扩展至搭载Intel Core Ultra 200V与AMD Ryzen AI ...