我们在今年的国际数学奥林匹克（IMO）上达到了金牌水平的表现！我们的模型能够用清晰、简单的英语思考和撰写证明——无需正式的代码。 与过去比赛中使用的较窄系统不同，我们的模型旨在进行广泛的推理，远远超出比赛问题的范围。