DeepSeek releases open-source math model Prover-V2

DeepSeek-Prover-V2-671B features 61 Transformer layers and supports long-context tasks with 163,840 tokens.