Ce marché résoudra à "Oui" si le prochain modèle Google Gemini Pro ajouté au classement des leaders d'Arena.AI (arena.ai/leaderboard/text) obtient au moins la note spécifiée à 12h00 HE le jour suivant la date à laquelle il apparaît pour la première fois sur le classement. Sinon, ce marché résoudra à "Non".
Tout modèle Gemini nouvellement ajouté au classement et étiqueté comme "Pro" peut être éligible (par exemple, gemini-2.5-pro, gemini-3-pro, ou gemini-3.1-pro-preview). Les modèles Gemini étiquetés uniquement comme Flash, Flash-Lite ou une autre variante non-Pro ne seront pas éligibles.
Les résultats de la colonne "Score" sous l'onglet "Text Arena | Overall" du classement disponible à https://lmarena.ai/leaderboard/text (avec le contrôle de style désactivé) seront utilisés pour résoudre ce marché. Ce marché sera résolu uniquement en fonction de la note spécifiée dans la colonne Score du classement, indépendamment de toute donnée granulaire ou non arrondie présentée ailleurs.
Si plusieurs modèles sont ajoutés au classement le même jour (HE), le modèle ayant la note la plus élevée sera utilisé pour la résolution. Les modèles ajoutés au classement le jour suivant la première apparition du modèle éligible initial ne seront pas pris en compte.
Un modèle éligible doit être nouvellement ajouté au classement d'Arena.AI. Le fait que le modèle ait été précédemment libéré, accessible au public, en bêta ou autrement disponible avant son apparition sur le classement est sans importance pour ce marché.
La source de résolution pour ce marché est le classement des modèles de chatbot Arena LLM disponible à arena.ai/leaderboard/text. Si cette source de résolution n'est pas disponible à 12h00 HE le jour suivant la date à laquelle le modèle éligible apparaît pour la première fois sur le classement, ce marché sera résolu en fonction de la première instance ultérieure où une telle note devient disponible sur le classement. Si elle reste indisponible jusqu'à la fin du septième jour suivant la première apparition du modèle éligible ou si aucun nouveau modèle éligible n'est libéré avant le 31 décembre 2026, à 23h59...