LLM訓練數據包（數學類）

產品概述

本商品為數學領域 AI 大模型訓練數據包，覆蓋從小學奧數到研究生級別純數學的完整數學體系。數據包含高質量的數學問題、多步推理過程、證明過程及解題策略，可直接用於 LLM 微調（SFT）、數學推理強化學習（RLHF / GRPO / Rule-based RL）及偏好對齊訓練。

• 數據總量：約 1,800萬+ 條數學問答對及推理鏈
• Token 規模：約 120億 Tokens（含完整證明/解題過程）
• 難度跨度：小學奧數(AMC 8) → 初中/高中競賽(AMC 10/12, AIME) → 大學本科 → IMO級 → 研究生/研究前沿
• 數據格式：JSONL / Parquet（含結構化字段標註）
• 質量標準：可驗證答案格式、多輪去重、Benchmark污染檢測、人工數學家抽檢

---

覆蓋數學領域

---

數據特點與質量保障

• 完整多步推理（Chain-of-Thought）：每道數學題均含從審題→分析→選擇策略→分步計算→最終結論的完整推理鏈
• 多解法標註：約35%的競賽級題目提供2-4種不同解法
• 可驗證答案格式：數值答案和證明結論均提供標準化可驗證格式，支持 Rule-based RL 自動獎勵信號
• 難度分級 1-10：Level 1-3（小學/初中競賽）→ Level 4-6（高中競賽/大學）→ Level 7-9（IMO/研究生）→ Level 10（前沿開放問題）
• LaTeX 全標準化：所有數學公式、符號使用標準 LaTeX 渲染格式
• Benchmark 去污染：已過濾 GSM8K、MATH、NuminaMath、DeepMath-103K 等主流評測集數據洩漏
• 競賽真題來源：部分數據來自 AMC/AIME/IMO/Putnam/CMO 等權威數學競賽真題及變體

---

兼容主流評測基準

訓練後的模型可在以下權威數學評測中體現顯著提升：

• MATH Benchmark：12,500道競賽級數學題，覆蓋7個子領域（Hendrycks et al.）
• GSM8K：8,500道小學應用題，測試基礎數學推理鏈
• NuminaMath：85萬+道人工驗證的競賽級數學題
• DeepMath-103K：103K高難度可驗證問題，專為強化學習設計
• MMLU-Math / ARC-Math：通用評測中的數學子集
• MathBench / MathVista：數學視覺推理與多模態數學評測

---

適用場景

• 數學推理專項模型：為 LLM 注入強大的數學證明與計算能力（參考 DeepSeek-Math、Qwen2.5-Math 訓練方法）
• 競賽級數學AI：訓練可解決 AMC/AIME/IMO 級別問題的數學專項模型
• 教育科技：智能數學輔導系統、自動解題引擎、自適應題庫生成
• 科研計算：輔助數學證明驗證、猜想探索、符號計算
• 金融與工程：金融定價模型、風險計算、工程優化問題的數學推理支撑
• 強化學習獎勵訓練：可驗證答案格式天然支持 Rule-based RL / GRPO 範式

---

交付說明

• 數據文件：JSONL / Parquet（以約定為準），附 README 文檔和字段說明
• 交付時效：通常 3-7 個工作日
• 數據更新：可按需提供後續增量數據更新服務（新競賽題/新論文數據）
• 合規說明：不包含個人隱私數據；如有特殊合規需求請下單前溝通