DeepSeek新模型霸榜,代码能力与OpenAI o1相当且确认开源,网友:今年编程只剩Tab键

DeepSeek版o1,有消息了。 还未正式发布,已在代码基准测试LiveCodeBench霸榜前三,表现与OpenAI o1的中档推理设置相当。 注意了,这不是在DeepSeek官方App已经能试玩的DeepSeek-R1-Lite-Preview(轻量预览版)。

DeepSeek版o1,有消息了。

还未正式发布,已在代码基准测试LiveCodeBench霸榜前三,表现与OpenAI o1的中档推理设置相当

图片

注意了,这不是在DeepSeek官方App已经能试玩的DeepSeek-R1-Lite-Preview(轻量预览版)。

而是摘掉了轻量版的帽子,称为DeepSeek-R1-Preview(预览版),意味着替换了规模更大的基础模型

LiveCodeBench团队透露,他们正在与DeepSeek合作评估新模型的能力,在合作过程中,DeepSeek团队还帮他们找出并解决了评分系统的一些bug。

图片

与此同时,他们还晒出了目前仅有的一张DeepSeek-R1-Preview的思考过程。

图片

鉴于DeepSeek此前已宣布R1模型将开源,有网友表示,与OpenAI o1编程能力相当的开源模型即将发布,2025年的编程就只剩下按Tab键了。

DeepSeek推理大模型满血版

两个月前,DeepSeek在官网上线DeepSeek-R1-Lite-Preview时曾透露:

DeepSeek-R1-Lite-Preview使用强化学习训练,推理含大量反思和验证,遵循新的Scaling Laws——

推理越长,表现越强。

在AIME测试基准中,随着推理长度的增加,DeepSeek-R1-Lite-Preview表现出稳定的得分提升。

图片

DeepSeek-R1-Lite推理的特点在网友们的后续测试中也得到了验证:

在某些情况下,模型似乎能够在生成推理步骤时自我纠正,表现出类似原生“自我反思”的能力。不过,没有训练数据、模型架构和技术报告/论文的细节,很难确认这一点。

期待未来的开源模型和API!

图片

摘掉Lite的帽子,变成DeepSeek-R1-Preview,意味着换了更大的基础模型。

之前Lite版就在难度较高数学和代码任务上超越o1-preview,大幅领先GPT-4o。

图片

这次在LiveCodeBench上,这次的DeepSeek-R1-Preview的表现又与OpenAI o1-Medium相当,网友们更加期待开源模型和API了。

LiveCodeBench由UC伯克利、MIT和康奈尔大学团队推出,旨在对大模型的代码能力进行全面且无污染的评估。

具体避免测试数据泄露的方法,是随着时间的推移不断从人类的编程竞赛平台收集新的题目。

除了代码生成,还会评估模型在代码自修复、执行和测试输出预测等方面的能力。

这样实时更新、确保公平性和可靠性的测试方法,获得了开发者社区的认可。

还有程序猿喊话Cursor直接把R1-Preview集成到Agent mode里:

图片

One More Thing

赶在春节前,许多还在做训练的国产大模型团队,都把自家模型更新了一遍:

MiniMax开源4M超长上下文新模型!性能比肩DeepSeek-v3、GPT-4o

全球首次!国产AI开源端侧GPT-4o海外爆火,8B参数iPad就能跑

国内数学最强!实测讯飞版o1:上能打奥赛卷高考,下能辅导寒假作业

阿里开源首个视觉推理模型,击败GPT-4o,网页一度404

……

OpenAI似乎要趁这边放假开始搞事情了(狗头),奥特曼发帖透露:

o3-mini完成外部合作测试,已确定最终版,将在几周内推出,会同时上线API和ChatGPT。

图片

在后续对话中,奥特曼还确认了未来模型更多基本情况:

  • o3-mini的速度会非常快
  • o3-mini大多数情况下不如o1-pro
  • o3 pro收费从$200/月起步
  • OpenAI正在关注如何让AI一次性输出更多内容
  • 2025年计划把GPT系列和o系列合并

图片

相关资讯

Kimi硬刚多模态满血版o1,首曝训练细节!强化学习scaling新范式诞生

还记得吗,AI大神Karpathy曾说过,「英文是最热门的编程语言」。 两年后的现在,这个规则彻底要被颠覆了。 从今天起,中文很有可能成为全球最热门的编程语言!

截胡OpenAI!清华复旦等抢先开源智能体框架Eko,一句话打造「虚拟员工」

OpenAI的首席执行官Sam Altman最近宣布,2025年将推出「虚拟员工计划」,代号Operator,AI智能体能够自主执行任务,如写代码、预订旅行等,成为企业中的「数字同事」。 抢在OpenAI发布Operator之前,清华、复旦和斯坦福的研究者联合提出了名为Eko的 Agent开发框架,开发者可以通过简洁的代码和自然语言,快速构建可用于生产的「虚拟员工」。 AI智能体能够接管用户的电脑和浏览器,代替人类完成各种任务,为工作流程提供自动化支持。

最壕DeepSeek玩家8台Mac跑R1,10万+元凑496GB显存才能跑4bit量化版

DeepSeek-R1,正在接受全球网友真金白银的检验。 花30秒用manim代码制作解释勾股定理的动画,一次完成无错误。 为了玩上这样的模型,有人花上10多万元,组7台M4 Pro Mac mini 1台M4 Max Macbook Pro的家用超算。