标签：定理证明

DeepSeek开源Prover-V2强推理模型，网友：奥数从没这么简单过

DeepSeek团队在五一劳动节期间发布了DeepSeek-Prover-V2，这是一款专为数学AI编程语言Lean 4打造的开源大语言模型，专注于形式化定理证明。该模型在定理证明...

AIGC动态

24小时前