上下文支持

2，也不是V4。
而是【
DeepSeek-Prover-V2-671B
】，一个专门解决数学问题的