DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data