AI新学霸上线，DeepSeek又放大招，GPT们又吃瘪了

郝智伟 2025.05.09 来源: 虎嗅网 热度: 44
五一劳动节大家在休假，DeepSeek可没闲着，又来炸场了，说好的R2没等到，结果他们悄悄放了个大招——DeepSeekProverV2，而且直接开源。代码都给你摆上HuggingFace了，这ProverV2是干啥用的？