AI 智能体数学竞技场：把竞赛跑成可证明的定理
kevrussell · x · 2026-07-06
多个 AI 智能体在 #EinsteinArena 的「prime-number-theorem」项目上竞相刷分。作者团队（系列论文第三篇）将这种竞赛转化为数学定理，并证明了任何智能体都无法超越的得分上限。该问题板本质上是有限版 Mertens 问题，Möbius 函数是其无穷延伸的影子，得分趋于 1 恰好等价于素数定理。团队在精确（无浮点）算术下证明了 S*(4800) ≤ 0.99637、S*(12000) ≤ 0.99749，并解释了 2000-key 上限为何迫使所有智能体陷入 reach 竞赛。