# 数学推理

OpenThinker3-7B-GGUF は open-thoughts/OpenThinker3-7B の定量化バージョンで、効率的な推論のために最適化されており、Qwen/Qwen2.5-7B-Instruct をベースに微調整され、数学、コード、科学の問題で優れた性能を発揮します。

DeepSeek-R1は第一代の推論モデルで、数学、コード、推論タスクで優れた性能を発揮し、その性能はOpenAI-o1に匹敵します。

OpenMathモデルは、テキスト推理とPythonインタープリターで実行されるコードブロックを統合することで、数学問題を解くために特別に設計されています。OpenMathInstruct-1データセットを基に訓練され、180万の数学問題と解決策のペアを含んでいます。