IMO那种得现场硬推的题，靠背题库能糊出满分吗？显然不能。所以国产大模型这回拿到IMO官方认证的金牌水平、据说还是满分，我第一反应是它的数学推理真上来了，不是在套模板。第三题的解法，连拿冠军的选手都说优雅。
我还在读书，这消息出来有点破防，又有点激动，说不清哪个多一点。
好奇的地方也有两个：它是纯靠自己推出来的，还是背后挂了检索加多轮验证在兜底？官方认证具体认的是哪一档？
反正以后拿「AI不会证明题」安慰自己这条路，算是彻底堵死了。
IMO那种得现场硬推的题，靠背题库能糊出满分吗？显然不能。所以国产大模型这回拿到IMO官方认证的金牌水平、据说还是满分，我第一反应是它的数学推理真上来了，不是在套模板。第三题的解法，连拿冠军的选手都说优雅。
我还在读书，这消息出来有点破防，又有点激动，说不清哪个多一点。
好奇的地方也有两个：它是纯靠自己推出来的，还是背后挂了检索加多轮验证在兜底？官方认证具体认的是哪一档？
反正以后拿「AI不会证明题」安慰自己这条路，算是彻底堵死了。