DeepSeek开源周才第二天，有些公司就已经坐不住了
DeepSeek开源周才第二天，有些公司就已经坐不住了AI开源潮涌现，推理模型成主流。
来自主题: AI资讯
3741 点击 2025-02-26 09:52
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
AI开源潮涌现，推理模型成主流。
自动形式化数学定理证明，是人工智能在数学推理领域的重要应用方向。此类任务需要将数学命题和证明步骤转化为计算机可验证的代码，这不仅能确保推理过程的绝对严谨性，还能构建可复用的数学知识库，为科学研究提供坚实基础。
推理黑马出世，仅以5%参数量撼动AI圈。360、北大团队研发的中等量级推理模型Tiny-R1-32B-Preview正式亮相，32B参数，能够匹敌DeepSeek-R1-671B巨兽。
DeepSeek开源第二弹如期而至。这一次，他们把MoE模型内核库开源了，支持FP8专为Hopper GPU设计，低延迟超高速训练推理。
DeepSeek开源第二弹如期而至。这一次，他们把MoE训推EP通信库DeepEP开源了，支持FP8专为Hopper GPU设计，低延迟超高速训练推理。
只刷逻辑益智题，竟能让 AI 数学竞赛水平大幅提升？
DeepSeek席卷校园：头部高校开AI大课。
智能创造了巨大的价值，大大提高了效率，所以问题不在于它是否会有回报，问题是我们要进行哪些投资以及在什么时间范围内投资
DeepSeek，就是AI一体机的“瓦特时刻”
阿里通义Qwen团队熬夜通宵，推理模型Max旗舰版来了！QwQ-Max-Preview预览版，已在LiveCodeBench编程测试中排名第5，小超o1中档推理和DeepSeek-R1-Preview预览版。