作者《孙美玲》的文章-商会资讯网

惊爆！DeepSeek开源新模型，英伟达市值一夜蒸发超7500亿！

4月30日，DeepSeek在AI开源社区Hugging Face上发布了新模型DeepSeek-Prover-V2-671B。这个新模型可是专注于数学定理证明的大语言模型，专门针对形式化数学证明任务...

阅读全文

孙美玲 12 次浏览 2025-04-30