DeepSeek发布数学证明大模型，英伟达股价受影响
DeepSeek在AI开源社区发布新模型DeepSeek-Prover-V2-671B，专注于数学定理证明。该模型参数高达6710亿，可处理复杂数学证明。同时，英伟达股价受AI技术发展影响下跌3.9%，市值蒸发约7541亿元人民币。...
DeepSeek在AI开源社区发布新模型DeepSeek-Prover-V2-671B，专注于数学定理证明。该模型参数高达6710亿，可处理复杂数学证明。同时，英伟达股价受AI技术发展影响下跌3.9%，市值蒸发约7541亿元人民币。...
