跳转至外部链接
http://huggingface.co/collections/AI-MO/kimina-prover-preview
