ルール

Arena.AI Leaderboard（https://arena.ai/leaderboard/text/overall-no-style-control）に追加された次のOpenAI GPT Astraモデル（6.1+）が、Leaderboardに初めて表示された日の翌暦日 12:00 ET に「Leaderboard」タブの表を確認した時点で、指定された上位順位の範囲内に入っている場合、この市場は「はい」で決済されます。それ以外の場合、この市場は「いいえ」で決着します。 対象となるモデルは、バージョン6.1以上と指定されたOpenAIのモデルであり、大文字・小文字の違いや、前後の接頭辞、接尾辞、日付、説明の有無にかかわらず、名前またはモデル識別子に「Astra」を含む必要があります。たとえば、GPT-6.1 Astra、Astra 6.1、GPT Astra 7はいずれも条件を満たします。GPT-6 Astraは対象外です。段階的な展開、プロモーション、ProまたはFastモード、そのスナップショットも対象外となります。GPT-5.6 Sol、GPT-5.6 Terra、GPT-5.6 Lunaなどの階層ラベル付きモデルとその後継モデルは対象外です。また、GPT-5.6-Cyber、Daybreakモデル、Codex、GPT Image、Realtimeモデルなど、特定のタスクまたはモダリティ向けのモデル系列も対象外です。 このマーケットの決済には、https://arena.ai/leaderboard/text/overall-no-style-controlの「Text Arena | Overall」Leaderboardタブにある「Rank」列の結果を使用します。スタイル設定はオフ（Adjustments: None）、表示は「Models」とし、その他のフィルターは適用しません。確認時に表示されているモデルの順位が指定順位と同じか、それより上位であれば、そのモデルは指定された上位順位の範囲内に初登場したことになります（たとえば、表示順位が 4 なら、上位 5 以内かつ上位 10 以内です）。このマーケットは、モデルのスコア、順位のばらつきや信頼区間、別の調整設定・フィルター・カテゴリで表示される順位、または他の場所に示された基礎データの詳細値や未丸め値にかかわらず、Leaderboardの「Rank」列にある指定順位のみを基準に決済されます。 「AutoEval」と表示されたモデルは、リーダーボードに追加されたものとはみなされません。モデルがLeaderboardに初めて表示された日は、順位が表示され、かつ「AutoEval」ラベルが付いていない状態で最初に表示された暦日（ET）とします。このような順位のみを考慮します。暫定名、コード名、またはプレースホルダー名で掲載されているエントリーは、上記のモデル仕様条項を満たす名前で初めて表示された日に新たに追加されたものとします。名前が変更されたエントリーが対象となる名前で初めて表示された日は、そのエントリーがLeaderboardに追加された日として扱います。同じモデルのreasoningまたはthinkingレベル違いのバリアントを含め、個別に掲載された各エントリーは、このマーケットにおいて別個のモデルとみなします。追加された最初の対象エントリーを決済の基準とします。 同じ暦日（ET）に対象モデルが複数Leaderboardに追加された場合、最も順位の高いモデルを決着に使用します。最初に対象となったモデルが初めて表示された日の翌暦日にリーダーボードへ追加されたモデルは対象外となります。対象モデルが初回表示日の翌暦日の12:00 ETにLeaderboardに表示されていない場合、その初回表示は対象となりません。その後モデルが再び表示された場合は、再表示された日を新たな初回表示日として扱います。 対象モデルは、新たにArena.AIのリーダーボードに追加されたモデルでなければなりません。リーダーボードに表示される前にモデルがリリース済み、公にアクセス可能、ベータ版、またはその他の形で利用可能だったかどうかは、このマーケットに関係ありません。 このマーケットの決済情報源は、https://arena.ai/leaderboard/text/overall-no-style-controlにあるArena.AI Leaderboardです。LeaderboardのURL、タブ名、またはコントロールのラベルが変更された場合でも、arena.aiにおける同等のデフォルトのText Overall表示（スタイル設定を無効にし、フィルターを適用しないもの）を同一の決済情報源とします。このような変更によって情報源が利用不能になることはありません。対象モデルがLeaderboardに初めて表示された日の翌暦日の12:00 ETにこの決済情報源が利用できない場合、このマーケットは、その後モデルの順位がLeaderboardで確認可能となった最初の時点に基づいて決済されます。適格モデルがリーダーボードに初めて表示された後、7日目の終わりまで利用できない状態が続く場合、または2027年6月30日 23:59 ETまでに適格モデルがリーダーボードに追加されない場合、このマーケットは「いいえ」で決済されます。

機械翻訳です。解釈に相違がある場合は原文が優先されます。