MathArena用最新的美国数学奥林匹克来考验大模型，结果还是比较惨淡。所有模