近年来，基于 Transformer 架构的大型语言模型（LLMs）取得了显著进展，诸如 Gemini-Pro1.5、Claude-3、GPT-4和 Llama-3.1等新模型能够处理成百上千的token。然而，这些扩展的上下文长度带来了实际应用中的一些重大挑战。随着序列长度的增加，解码延迟上升，内存限制也成为了一个严重的瓶颈。KV 缓存在推理过程中储存上下文信息，随着上下文长度的增加，缓存的大小也呈比例增长，这导致内存饱和，严重影响了处理长输入序列的效率，因此迫切需要优化解决方案。虽然市场上存在一些无训练的方

今日，小米创办人、董事长兼CEO雷军在微博表示，小米首款AI专业办公笔记本REDMI Book Pro162025将于2月27日19:00发布，并且发布即开售。根据官方海报，REDMI Book Pro162025将是首批搭载第二代英特尔酷睿"Ultra 处理器，领先算力 至高96TOPS，平台 AI 算力提升150%+，疾速内存 LPDDR5X8400MT/s 超高频内存，飓风散热 整机散热系数较上代提升34.4%。

月之暗面研究员Flood Sung近日发表万字长文，首次详细披露了k1.5模型的研发思路，并就OpenAI o1模型带来的技术启示进行深度反思。据Flood Sung介绍，Long-CoT（长链条思维）的重要性其实早在一年多前就已被月之暗面联合创始人Tim周昕宇验证。通过使用小型模型训练多位数运算，并将细粒度运算过程转化为长链条思维数据进行SFT(有监督微调)，就能获得显著效果。然而，受限于成本考虑，月之暗面此前将重点放在了Long Context（长文本输入）的优化上。Flood Sung解释道，Long Context主要处理输入端，

日前，Product Hunt官方发布了2024年度最佳榜单（Golden Kitty Awards金喵奖），展示了过去一年在技术与创新领域取得卓越成就的产品和创客。榜单包含了众多类别的榜单，本年度AI产品类表现的尤为显眼，包括AI音频、AI模型、AI视频、AI编程等众多产品都上榜了。其中，“2024年度产品” 奖项由 Cursor 获得，这款工具被认为是开发者在构建和迭代过程中的得力助手。其无缝的工作流程提升了开发者的工作效率，真正实现了人工智能在编程中的应用。此外，O1和 Supabase 也表现出色，为开发者提供了强

近期，斯坦福大学和华盛顿大学的 AI 研究人员成功训练出了一款名为 s1的 AI 推理模型，训练成本不足50美元，所需的云计算信用额度也非常低。这项研究成果于上周五发布，表明 s1在数学和编程能力测试上表现不逊于 OpenAI 的 o1模型和 DeepSeek 的 R1模型。s1的代码和数据已在 GitHub 上公开，供其他研究者使用。研究团队表示，他们从一个现成的基础模型出发，通过蒸馏技术进行微调，以提取出所需的推理能力。s1的蒸馏过程使用了谷歌的 Gemini2.0Flash Thinking Experimental 模型，这种方法与加州大学

人工智能开发平台 Hugging Face 最近宣布，他们已成功构建了OpenAI 深度研究工具的“开放”版本，旨在与 OpenAI 最近发布的深度研究工具进行竞争。OpenAI 在一次活动中展示了其深度研究工具，这一工具能够通过爬取互联网信息，自动编制有关各种主题的研究报告。但遗憾的是，该工具目前仅对订阅了 OpenAI 每月200美元的 ChatGPT Pro 计划的用户提供有限的使用权限。Hugging Face 的团队，包括公司联合创始人兼首席科学家 Thomas Wolf，表示他们的开放深度研究项目结合了 OpenAI 的 o1模型和一个开源的 “

OpenAI 近日宣布，其 ChatGPT 代码辅助功能 Canvas 迎来重大更新。此次升级不仅将 o1模型集成到 Canvas 中，还新增了对 HTML 和 React 代码的渲染功能。此外，OpenAI 还推出了适用于 macOS 的 ChatGPT 桌面应用程序，使得用户能够更加便捷地使用 Canvas 功能。此次更新，Canvas 不仅获得了 OpenAI 最新的 o1模型加持，显著提升了代码辅助能力，而且能够直接呈现 HTML 和 React 代码，方便开发者更直观地查看和编辑代码。无论是前端开发还是复杂项目构建，Canvas 都能为开发者提供更加高效、流畅的体验。为了进

今日，中国联通宣布，其旗下联通数据智能有限公司正式发布了元景思维链大模型。这一创新成果已在GitHub、魔搭、始智等多个社区全面开源，标志着中国联通在人工智能领域迈出了重要一步。

2025年1月22日，网易有道正式发布了国内首个支持分步讲解的推理模型 “子曰 - o1”。这一模型采用14B 的小参数设计，能够在普通消费级显卡上进行高效部署，标志着国内教育领域在人工智能技术应用方面的重大进展。“子曰 - o1” 利用思维链技术，通过自我对话和纠错机制，能够在解题时输出详细的思考过程，让学生在学习中不仅能得到答案，还能理解解题的逻辑。这样的设计显著提升了模型的推理能力与逻辑准确性，非常适合教育场景中的应用。与市场上其它大规模、运行要求高的推

“子曰-o1”是一款14B轻量级单模型，专为消费级显卡设计，能够在低显存设备上稳定运行。该模型采用思维链技术，能够提供详细的解题过程和逻辑推理，其运行思路更接近人类的思考方式。通过“自言自语”和自我纠错的方式，模型可以输出分步解题过程，帮助用户更好地理解和掌握知识。

正文:近期，中国的 DeepSeek 团队重磅推出了其最新开源大模型 R1，受到了广泛关注。R1模型的性能表现极其出色，在多项测试中均超越了 OpenAI 的 o1模型，尤其是在数学和编程方面的评估中表现优异。在最新的美国 AIME2024测试中，R1以79.8分的成绩超越 o1的79.2分。在 MATH-500测试中，R1获得了97.3分，同样领先于 o1的96.4分。此外，在 SWE-bench Verified 测试中，R1得分为49.2，也超过了 o1的48.9分。虽然在代码测试 Codeforces 中，R1仅比 o1低0.3分，但整体性能与 o1模型相当。除了性能，R1的成本优势更为引人

近日，DeepSeek 宣布推出其首个通过强化学习 （RL） 训练的推理模型 DeepSeek-R1，该模型在多个推理基准测试中取得了与 OpenAI-o1-1217相当的性能。 DeepSeek-R1基于 DeepSeek-V3-Base 模型，并采用了多阶段训练和冷启动数据来提高推理能力。DeepSeek 的研究人员首先开发了 DeepSeek-R1-Zero，这是一个完全通过大规模强化学习训练的模型，没有任何监督微调的预备步骤。DeepSeek-R1-Zero 在推理基准测试中展现出卓越的性能，例如在 AIME2024考试中，其 pass@1分数从15.6% 提升至71.0%。然而，DeepSeek-R1-Zero 也存在一些问题

近日，OpenAI 的 CEO 山姆・奥特曼在社交媒体上透露，备受期待的 o3-mini 将在几周内正式发布。这一消息让众多关注人工智能发展的用户感到兴奋。o3-mini 作为大模型的蒸馏版，将同时推出 API 和网页端，进一步满足用户的需求。o3-mini 的性能虽然不及其前身 o1-pro，但在速度上却有所提升。对此，OpenAI 的研究科学家洪宇・任表示，o3-mini 将有高、中、低三个版本供用户选择，用户可以根据自身需求选择合适的版本。在 Codeforces 编程基准测试中，o3-mini（低版本）表现不如 o1，但其高版本在成本

阿联酋穆罕默德・本・扎耶德人工智能大学（MBZUAI）近日发布了一款名为 LlamaV-o1的先进人工智能模型，能够高效解决复杂的文本和图像推理任务。这一模型通过结合前沿的课程学习和先进的优化技术，如波束搜索（Beam Search），在多模态人工智能系统中树立了新的基准，特别是在逐步推理的透明性和效率方面。LlamaV-o1的研究团队表示，推理是解决复杂多步骤问题的基本能力，尤其是在需要逐步理解的视觉情境中。经过特别调校，该模型在许多领域中表现出色，例如分析财务图表和医学影像

微软近日宣布了其新的 rStar-Math 技术，这一创新的推理方法可以应用于小型语言模型（SLMs），显著提升它们在数学问题上的表现，甚至在某些情况下超越 OpenAI 的 o1-preview 模型。这一技术目前仍处于研究阶段，相关研究论文已发布在 arXiv.org 上，由微软、北京大学和清华大学的八位作者共同完成。在测试中，rStar-Math 技术被应用于多个小型开源模型，包括微软的 Phi-3迷你模型、阿里巴巴的 Qwen-1.5B（15亿参数模型）和 Qwen-7B(70亿参数模型)。测试结果显示，所有参与的模型性能都有所提升，其中

香港中文大学（深圳）与深圳大数据研究院的研究团队近日联合发布了一款名为HuatuoGPT-o1的医疗大型语言模型(LLM)。这款模型专为医疗领域的复杂推理而设计，旨在提高医疗诊断和决策的可靠性。与以往侧重于数学推理的LLM不同，HuatuoGPT-o1专注于医疗这一特殊领域，通过模拟医生在实际工作中严谨的思考过程，为医疗AI的发展开辟了新的道路。该研究团队认识到，医疗领域的推理过程往往缺乏明确的步骤，难以验证。为了解决这一难题，他们从医疗考试题库中精选出4万道具有唯一、客观正

近日，Steve Sokolowski 首次公开了由 OpenAI 的 o1pro 人工智能系统指导的诉讼案，成为美国联邦法院系统中首个此类案例。Steve 和他的兄弟 Chirs 在2022年遭遇了投资诈骗，损失了九成的净资产，导致他们无力支付高达80万美元的起诉费用。在寻求法律帮助的过程中，他们发现律师事务所和诉讼融资公司往往要求事先支付费用，形成了一个难以打破的循环。为了解决这个问题，Steve 决定利用人工智能技术来推进案件。他注册了 o1pro，并发现它在理解法律案例和预测辩护方面的能力明显优于其他工具

​2025年1月6日，昆仑万维集团宣布其「天工大模型4.0」o1版和4o版正式上线，并全量登陆天工网页和APP，供用户免费使用。这两款模型的发布标志着昆仑万维在人工智能领域的又一重要进展。「天工大模型4.0」o1版（Skywork o1）是国内首款具备中文逻辑推理能力的模型，经过全方位的技术栈升级和模型优化，能够熟练处理包括数学、代码、逻辑、常识和伦理决策在内的各种推理挑战。该模型通过自研的多智能体体系和高质量的长思考数据，显著提升了逻辑推理能力，并采用了创新的Q*算法和Step-DAPO算法，进一步优化了推理系统和训练效果。

OpenAI与人工智能领域泰斗、斯坦福大学教授吴恩达携手推出了一门重磅免费课程"Reasoning with o1"。这门由OpenAI战略解决方案架构主管Colin Jarvis执教的课程，旨在帮助开发者深入掌握o系列模型的高级推理能力。课程地址:https://www.deeplearning.ai/short-courses/reasoning-with-o1o系列模型是OpenAI在2024年推出的新一代AI模型。与传统大语言模型相比，该系列最显著的特点是通过更深入的"思考"过程来处理复杂问题。通过在推理时执行思维链分析，o系列模型在多步骤规划、图像推理和长期编码等新兴应用场景中

近年来，随着大语言模型（LLM）的广泛应用，这些模型在复杂推理和问题解决任务中发挥了重要作用。其中，受 OpenAI 的 o1架构启发的 o1-like 模型以其独特的人类思维、逐步推理的能力脱颖而出。然而，这些模型也存在一个显著的低效问题，即 “过度思考”。所谓过度思考，是指模型在处理一些简单问题时，往往会消耗不必要的计算资源，甚至在推理过程中重复无谓的步骤。例如，在解决 “2+3” 这样简单的算术题时，o1-like 模型可能会生成过于详细的推理，使用的 token 数量远超传统的 LL