DeepSeek releases open-weights math model with IMO gold medal performance huggingface.co 18 points by victorbuilds 26 minutes ago