DeepSeek-Prover-V1 是由 deepseek-ai 发布的一个用于定理证明的文本数据集。
该数据集旨在训练或评估模型在形式化定理证明方面的能力，适用于数学推理、逻辑证明和自动定理证明等研究领域。
适用于开发或测试能够理解和生成形式化数学证明的AI模型，是进行自动推理、代码辅助证明（如与交互式定理证明器结合）等相关研究的核心数据资源。