Math
Category
Models
| Model | Company | Family | Released | Modality | Open source | API | Status |
|---|---|---|---|---|---|---|---|
 DeepSeek-ProverFamily | DeepSeek | — | Jun 1, 2024 | — | Yes | — | active |
| DeepSeekMathFamily | DeepSeek | — | Feb 5, 2024 | — | Yes | — | active |
Category
| Model | Company | Family | Released | Modality | Open source | API | Status |
|---|---|---|---|---|---|---|---|
| DeepSeek-ProverFamily | DeepSeek | — | Jun 1, 2024 | — | Yes | — | active |
| DeepSeekMathFamily | DeepSeek | — | Feb 5, 2024 | — | Yes | — | active |