DeepSeek-Prover-V2模型专注于将数学定理转化为计算机可验证的严格证明过程。
DeepSeek在五一期间开源了专为数学证明设计的DeepSeek-Prover2模型，包含6710亿参数和70亿参数版本。该模型采用递归与强化学习结合的技术在多项数学测试中表现优异，如MiniFF测试通过率达88.9%。同时发布的ProBench数据集包含325道题目，评估模型能力。实验发现思维链模式能显著证明准确率，小模型在特定问题上甚至超越模型。模型已在Hugging Face，支持数学研究新范式。
En esta era de apertura e intercambio, OpenAI lidera una revolución en la inteligencia artificial. Ahora, anunciamos al mundo que hemos soportado completamente todos los modelos de OpenAI, por ejemplo, soportando GPT-4-ALL, GPT-4-multimodal, GPT-4-gizmo-*, etc. así como una variedad de grandes modelos de cosecha propia. Y lo que es más emocionante, ¡hemos presentado al mundo el más potente e influyente GPT-4o!
número público
Cooperación Wechat