热点
"DeepSeek-Prover-V1.5" 相关文章
DeepSeek发布开源数学定理证明模型
DeepSeek 2025-04-09T10:06:04.000000Z
DeepSeek发布开源数学定理证明模型
DeepSeek 2024-10-28T00:09:54.000000Z
DeepSeek-AI Open-Sources DeepSeek-Prover-V1.5: A Language Model with 7 Billion Parameters that Outperforms all Open-Source Models in Formal Theorem Proving in Lean 4
MarkTechPost@AI 2024-08-17T11:05:03.000000Z