if you want to do math proofs use AI built for proof https://huggingface.co/deepseek-ai/DeepSeek-Math-V2 https://huggingface.co/deepseek-ai/DeepSeek-Math-V2 h

if you want to do math proofs use AI built for proof https://huggingface.co/deepseek-ai/DeepSeek-Math-V2 https://huggingface.co/deepseek-ai/DeepSeek-Math-V2 https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B