类似文章
DeepSeek发布DeepSeek-Prover-V2：通过递归证明搜索和新的基准测试推进神经定理证明
作者AI Flare
DeepSeek AI宣布发布DeepSeek-Prover-V2，这是一个突破性的开源大型语言模型，专门为L…
隆重推出星际之门阿联酋
作者AI Flare
我们即将推出星门阿联酋——这是OpenAI人工智能基础设施平台星门的首次国际部署。 原文链接: https:/…
微软表示其Aurora AI可以准确预测空气质量、台风等
作者AI Flare
微软公司声称，其最新的AI模型之一能够准确预测空气质量、飓风、台风以及其他与天气相关的现象。在本周发表在《自然…
GRPO 能提升 10 倍效率吗？快手 AI 的 SRPO 证明了这一点
作者AI Flare
OpenAI的o1系列和DeepSeek-R1的显著成功，已无可辩驳地证明了大规模强化学习（RL）在引出复杂的…
我们构建通用人工智能助理的愿景
作者AI Flare
我们将扩展 Gemini，使其成为一个能够通过模拟世界各个方面来制定计划和想象新体验的世界模型。 原文链接: …
DeepSeek发布下一代R2模型，并揭示了利用SPCT扩展推理的新方法
作者AI Flare
大型语言模型领域的重要参与者DeepSeek AI最近发表了一篇研究论文，详细介绍了一种旨在增强通用奖励模型 …