360的Light-R1-14B和Light-R1-7B模型采用从零开始的复现策略，全面开源的做法使得开发者能够对其进行灵活的修改和应用。此举不仅增强了模型的可操作性，也让技术社区能够参与到AI生态的构建中来。360公司对此表示，这将打破传统AI模型封闭的壁垒，使得更多企业和个人能够利用这一技术进行创新。这种开放的态度，有助于提高AI技术的透明度，促进社会对新技术的接受度。

在科技日新月异的今天，人工智能领域迎来了又一重大突破。近日，国内知名互联网安全公司360集团宣布其最新研究成果——Light-R1-14B/7B模型正式对外开源，此举无疑为整个AI界注入了一剂强心针。这不仅仅是一次简单的技术分享，更是开启了端侧AI平权的新时代。

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

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

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

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

多机构联手巧妙应用计算最优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 ...