11 月 13 日，数学评测榜 MathArena 更新：谷歌 Gemini 4 Carbon 第一，85.4%；Anthropic 的 Fable 5.2 第二，82.8%；OpenAI 的 GPT-6.1 Sol 掉到第三，80.6%。榜单维护者发帖说，很久以来头一回，第一不是 OpenAI 的模型。更狠的是考卷：AIME、美国数学奥赛、IMO，这个榜现在都不算分了，全标「已弃用」；它 5 月就写过，只看最终答案的竞赛题已经难不住最前沿的模型。现在的考卷从上个月刚发在 arXiv 上的数学论文里出：研究级难题、看着像对其实是错的命题（指出它错了才给分）、用 Lean 写机器能验的证明。10 月这张论文卷，Carbon 和 Fable 都考了 93.62%，每道题 Carbon 花 5.29 美元，Fable 花 22.28 美元。OpenAI 也没输光：Sol 每道题 1.07 美元，三家里最省；Carbon 比它多 4.8 个点，每道题的钱是它的 14 倍多。下个月的新考卷，王座还归它吗？关注新智元，秒追 ASI · 第 6 集。
#秒追ASI##超级智能##谷歌##Gemini##人工智能# http://t.cn/AXY1Cxi9