reasoning model – 谈练 AI

DeepSeek 声称其“推理模型”在某些基准测试上击败了 OpenAI 的 o1

DeepSeek 公布其新一代推理模型（reasoning model）DeepSeek-R1，宣称在 AIME、MATH-500、SWE-bench Verified 等基准测试（benchmarks）上击败 OpenAI 的 o1。R1 拥有 6710 亿参数（parameters），并提供从 15 亿到 700 亿参数不等的多个蒸馏版本，兼具高可用性与商业化灵活性。该模型通过自我事实核对（fact-check），在数学、编程等推理场景中表现优异。新规背景下，中美围绕 AI 技术竞争加剧，DeepSeek 的表现引发业界广泛关注。