DeepSeek公司近期宣布了一项重要进展,其最新研发的推理模型DeepSeek-R1-Lite预览版已正式上线,这一消息引起了业界的广泛关注。
据悉,DeepSeek R1系列模型采用了先进的强化学习技术进行训练,其推理过程不仅深入细致,还包含了大量的反思与验证环节。这一特性使得该系列模型在思维链的长度上能够达到数万字的级别,从而在数学、代码以及各类复杂逻辑推理任务上展现出了卓越的性能。DeepSeek R1系列模型在推理效果上已经能够媲美OpenAI的o1-preview模型,并且还能够向用户展示o1模型所未公开的完整思考过程。
在DeepSeek-R1-Lite预览版的测试中,该模型在美国数学竞赛(AMC)中难度最高的AIME赛事以及全球顶级编程竞赛codeforces等评测中,均取得了优异的成绩,甚至超越了GPT-4o等知名模型。这一表现无疑进一步验证了DeepSeek-R1-Lite在复杂逻辑推理任务上的强大实力。
DeepSeek-R1-Lite的推理过程不仅长度可观,而且其包含的反思与验证环节也大大增强了其推理的准确性。根据官方提供的数据,模型在数学竞赛上的得分与其所允许的思考长度紧密相关。换句话说,给予模型更多的思考时间,其推理的准确率也会相应提升。
从图中可以清晰地看到,红色实线展示了DeepSeek-R1-Lite模型所能达到的准确率与所给定的推理长度之间的正相关关系。这一数据无疑为DeepSeek-R1-Lite的推理能力提供了有力的支撑。
尽管DeepSeek-R1-Lite已经展现出了强大的推理能力,但官方表示该模型目前仍处于迭代开发阶段。目前,DeepSeek-R1-Lite仅支持在网页上使用,尚未开放API调用功能。由于该模型所使用的基座模型相对较小,因此其长思维链的潜力尚未完全释放。
不过,DeepSeek公司也透露了一个好消息,那就是正式版的DeepSeek-R1模型将完全开源,并公开技术报告以及部署API服务。这无疑将为更多开发者提供学习和使用DeepSeek-R1模型的机会,同时也将进一步推动人工智能领域的发展。