值得反思的是，人工智能的进步有多快，尤其是在数学方面。到2024年，人工智能实验室在其模型发布中使用了小学数学（GSM8K）作为评估标准。从那时起，我们已经饱和了（高中）数学基准，然后是AIME，现在达到了国际数学奥林匹克金牌。