DeepSeek开源数学大模型,高中、大学定理证明新SOTA 关键词: DeepSeek,AI,数学大模型,DeepSeek-Prover-V1.5 AI 技术与数学发现的进展,正前所未有地交织在一起。 来自主题: AI资讯 4749 点击 2024-08-17 14:35