数学推理大模型

搜索当前标签

搜索

4月30日DeepSeek Prover V2模型发布，再度强势推动相关热度

AI导航站 i-n.cc 应用教程 2天前 0

深度求索（DeepSeek）于 2025 年 4 月 30 日发布的新一代数学推理大模型 DeepSeek-Prover-V2，在数学定理证明领域实现了技术范式的突破。该模型基于 DeepSeek-V3 架构，通过递归子目标分解与强化学习的结合，将复杂数学问题拆解为可验证的子目标...