DeepSeek推新模型 引爆R2发布热议
中国AI初创公司 DeepSeek 日前悄然发布最新数学专用人工智能模型 Prover-V2，虽然并非外界期待已久的下一代 R2 推理模型，但依然在科技圈引发广泛关注。此举被视为 DeepSeek 持续强化技术能力的又一体现，也令外界对 R2 模型的发布时间更加好奇。
新推出的 Prover-V2 拥有高达6710亿参数，作为此前 V1.5 版本的升级版，专注于数学证明处理。该模型基于 DeepSeek 的 V3 基础架构开发，突显出在全球高端AI芯片供应受限的背景下，DeepSeek 依旧具备开发高效小型模型的能力。
值得注意的是，该发布正值阿里巴巴推出其 Qwen3 系列AI模型的次日。阿里声称 Qwen3 在多个方面已超越 DeepSeek 今年1月发布的 R1 推理模型，而R1因低成本高性能一度引发全球AI界震撼。
尽管 Prover-V2 并非传闻中的“R2”，但其发布仍令外界高度关注。部分网友认为这是 R2 发布前的技术铺垫，一些 AI 社群用户甚至在社交媒体留言“R2 R2 R2 拜托了”，希望 DeepSeek尽快推出更强大的模型。
Prover-V2 受到AI与数学爱好者的好评，有数学奥赛选手在 X（前Twitter）上直言“印象深刻”。同时，相关话题也在 Reddit、X 及中国股市论坛九阳公社上持续发酵，甚至引起美国知名投资人的关注。
根据 Google Trends 数据，“DeepSeek”和“R2”相关搜索近期明显上升，显示出大众对该公司的期待不断升温。
DeepSeek 由量化对冲基金九坤投资创办人梁文峰于2023年成立，总部设在杭州。近期，该公司开始扩大团队，公开招聘产品设计人员、CFO和COO等职位，目标是打造下一代基于大型语言模型的智能产品体验。
虽然 R2 的发布时间仍未明确，但 Prover-V2 的推出无疑表明，DeepSeek 正在稳步推进其AI战略布局，下一步或将带来更大突破。
