DeepSeek-Prover-V2搞的形式数学推理怎么评估白话大模型

DeepSeek-Prover-V2搞的形式数学推理怎么评估

白话大模型
12分钟 ·
播放数8
·
评论数0
小宇宙图标
在小宇宙打开