我们在2025年国际数学奥林匹克竞赛中取得了金牌水平的表现，使用的是一个通用推理系统！需要强调的是，这是一个LLM在进行数学运算，而不是一个特定的正式数学系统；这也是我们朝着通用智能主要推进的一部分。