我們在今年的國際數學奧林匹克（IMO）中達到了金牌級別的表現！我們的模型能夠用清晰、簡單的英語思考和撰寫證明 - 不需要正式的代碼。 與過去比賽中使用的狹隘系統不同，我們的模型旨在進行廣泛的推理，遠超過比賽問題。