中国のAI研究所DeepSeekが、数学の証明や定理問題を解くためのAIモデル「Prover」を静かに最新版V…