Gitee AI
    deepseek-ai/DeepSeek-Prover-V1.5-Base - 模力方舟（Gitee AI）