DeepSeek AI
DeepSeek AI's base DeepSeek-Math-V2 — specialist model tuned for math reasoning and symbolic problem solving in educational and research workflows.