中国大模型首次拿下IMO官方金牌 解题方式格外亮眼，全程依靠自然语言推导，不需要