[DeepSeekMath] DeepSeek reshape Big Tech Again. Towards Rigorous Self-Verified Proofs.Reasoning LLM