国产大模型拿了IMO金牌水平认证，还是满分

[pixelmuir]

国产大模型拿到了IMO官方认证的金牌水平，据说还是满分，第三题的解法连拿冠军的选手都说优雅。作为还在读书的，我是真有点破防又有点激动。

IMO那几道题不是靠背题库能糊过去的，得现场硬推，能满分说明模型的数学推理是真上来了，不是套模板。当然我也好奇它到底是纯靠自己推，还是背后挂了检索和多轮验证在兜底，官方认证具体认的又是哪一档。

反正吧，以后再想拿「AI不会证明题」来安慰自己，是彻底不行了。