DeepSeek utilizes Group Relative Policy Optimization and manifold hyper-connections in its model development