新闻动态

DeepSeek新模型震惊奥数学生

辉龙AI 2025-05-01 19 次浏览技术分享百度热搜

DeepSeek新模型震惊奥数学生

热度：5412865

DeepSeek开源Prover-V2强推理模型，这是一款专为数学AI编程语言打造的模型。网友表示：奥数从没这么简单过。

Prover 奥数 V2 Deepseek 模型