DeepTheorem 是一个数学推理数据集，旨在通过基于自然语言的非形式化定理证明来增强大型语言模型 (LLM) 的数学推理能力。

该数据集包含 12.1 万个 IMO 级别的非形式化定理和证明，涵盖多个数学领域。每个定理-证明对均经过严格注释，具体内容如下：

• o3-mini 证明：通过 o3-mini 模型生成或验证的证明确保数学准确性。
• 真值：从 o3-mini 证明中提取的定理的真值，指示该定理是真还是假。
• 难度：按复杂性分类，以适应各种 LLM 能力。
• 类别：涵盖代数、几何、数论等。
• 变体：定理的正变体或负变体，与原始定理具有相同或逆的真值。