Deepseek发布新模型 ​​​ 这啥？介绍还是空的。deepseek真要在节前发模型了？[哆啦A梦吃惊]

huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B

DeepSeek-Prover-V1.5是专为 Lean 4 定理证明设计的开源语言模型。V2应该是其升级版。DeepSeek-Prover-V1.5的介绍： 用大模型把数学家从细节中解放出来

AI创造营 ​​​