此市场将根据2026年12月31日东部时间中午12:00检查“排行榜”选项卡下过滤为“实验室”的表格时，arena.ai文本竞技场（数学）中排名第三高的公司来解决。

将使用https://arena.ai/leaderboard/text/math-no-style-control?rankBy=labs上“文本竞技场 | 数学”排行榜选项卡下“实验室排名”列的结果，样式控制关闭（调整：无）并过滤为“实验室”来解决此市场。

注意：在适用检查时间标记为“AutoEval”的模型将不予考虑，无论它们是否显示排名或分数。

人工智能公司将主要按其在市场检查时间的实验室排名排序。如果基于实验室排名的结果模糊或不可用，则相关人工智能公司将根据其在排行榜“模型”视图中最高排名的人工智能模型排序。如果两个或多个模型在排名上并列，则将按它们的竞技场分数排序，包括排行榜下方数据中反映的任何底层、未四舍五入的精细值。如果仍有并列，则将使用本市场组中列出的人工智能实验室/公司名称的字母顺序作为最终平局打破者（例如，如果两个模型按确切竞技场分数并列，“Google”将排在“SpaceXAI”之前）。此市场将基于在此排名下占据第三名的公司解决。

此市场的解决来源是arena.ai文本竞技场（数学）。如果此解决来源在检查时间不可用，则此市场将保持开放，直到排行榜重新上线，并将基于其可用后的第一次检查解决。如果它永久不可用，则此市场将解决为“其他”。