DeepSeek 模型优势：算力、成本角度 解读 2025 年 2 月 ■ 什么算力 ?“ 对信息数据进行计算，实现目标结果的能力” ■ 传统算力：信息计算力 ■ 现代算力：信息计算力、数据存储力、网络运载力 算力的基本概念 大脑 草绳、石子 算盘、算筹 ▶ 计算器、计算机 ■ 原生算力：大脑 ( 可处理复杂逻辑，但不能高速处理简单运算

DeepSeek-R1 \ Kimi 1.5 及 类强推理模型开发解读 北大对齐小组 陈博远 北京大学2022级“通班” 主要研究方向：大语言模型对齐与可扩展监督 https://cby-pku.github.io/ https://pair-lab.com/ 2 Outline ➢ DeepSeek-R1 开创RL加持下强推理慢思考范式新边界 ➢ DeepSeek-R1 Zero Scaling: 突破数据再生产陷阱 ➢ 强推理下的安全：形式化验证 Formal Verification \ 审计对齐 Deliberative Alignment ➢ 补充拓展：DeepSeek-V3 解读 3 DeepSeek-R1 开创RL加持下强推理慢思考范式新边界 ➢ OpenAI o1 开启后训练 Post-Training 时代下的RL新范式：后训练扩展律 Post-Training Scaling

移动应用等领域。 它可以与用户进行自然语言交互 ， 帮助用户解决各种问题 ，提供相关的知识 Kimi 是月之暗面科技 2023 年推出的 AI 助手 ， 可处理 200 万字超长文本 ，支 持多 格式文件解读、 互联网信息搜索整合、 多语言对话等 ，能用于办公、 学习、 创作 等 场景 ，有网页版、 APP 、 微信小程序等使用方式。 3.6.2 国内的大模型产 品 和信息 n Kimi 大模型幻觉 大模型并非教育的终点 ， 而是一个全新的起点 教师与 AI 的关系 ，应如同导演与特效团队——教师掌控教育的核心 ， A I 提供技术支持。 给教师的建议： 积极学习 Prompt 设计、 数据解读 始终聚焦于情感联结、 创造力激 发 对 AI 生成的内容保持审慎态度 ，避 免 批判性 合作 坚守 初心 拥抱 技术 大模型是人工智能领域的重要研究方向 ， 其强大的语言理解和生成能力使得它在自然语言处理