如果 Arena.AI 排行榜 (arena.ai/leaderboard/text) 上的任何模型在 2026 年 6 月 30 日之前至少达到“排行榜”选项卡上“编码”指定的竞技场分数,则该市场将决定为“是”……