4月30日，DeepSeek在Hugging Face发布新模型DeepSeek-Prover-V2-671B，专注数学定理证明。该模型参数达6710亿，采用MoE模式和61层Transformer结构。此前V3-0324版本已成业内标杆。同日，英伟达股价开盘下跌3.9%，市值蒸发超7500亿元人民币，或与市场竞争加剧有关。

免责声明：本文内容由开放的智能模型自动生成，仅供参考。