DeepSeek发布数学证明大模型，英伟达股价受影响
AI导读：
DeepSeek在AI开源社区发布新模型DeepSeek-Prover-V2-671B，专注于数学定理证明。该模型参数高达6710亿，可处理复杂数学证明。同时，英伟达股价受AI技术发展影响下跌3.9%，市值蒸发约7541亿元人民币。
4月30日，Deepseek在AI开源社区Hugging Face发布了名为DeepSeek-Prover-V2-671B的新模型，该模型专注于数学定理证明，是专门针对形式化数学证明任务优化的大语言模型。
DeepSeek-Prover-V2-671B采用DeepSeek-V3架构，拥有高达6710亿参数，使用MoE（混合专家）模式，配备61层Transformer层和7168维隐藏层。其最大位置嵌入达到16.38万，可处理极其复杂的数学证明问题。
此外，3月发布的V3-0324版本已被视为未来R2的基础模型，通过6850亿参数的MoE架构升级，代码能力得到显著提升。
同时，4月30日晚美股开盘，英伟达股价下跌3.9%，市值蒸发约7541亿元人民币，这一动态或与AI技术发展相关。
（文章来源：每日经济新闻）
郑重声明：以上内容与本站立场无关。本站发布此内容的目的在于传播更多信息，本站对其观点、判断保持中立，不保证该内容（包括但不限于文字、数据及图表）全部或者部分内容的准确性、真实性、完整性、有效性、及时性、原创性等。相关内容不对各位读者构成任何投资建议，据此操作，风险自担。股市有风险，投资需谨慎。如对该内容存在异议，或发现违法及不良信息，请发送邮件至yxiu_cn@foxmail.com，我们将安排核实处理。
