ルール

2026年11月9日、OfficeChaiは、Googleがコードネーム「Krypton」のGemini 4チェックポイントを社内でテストしており、テスターからGemini 4 Carbonのアップグレードと説明されていると報じました（https://officechai.com/ai/gemini-4-krypton/）。 このマーケットは、最初にリーダーボードに表示された日の翌暦日の12:00 ETに「Leaderboard」タブの表を確認した際、Arena.AI Leaderboard（https://arena.ai/leaderboard/text/overall-no-style-control）に追加されたGoogleの「Krypton」モデルの順位が指定された上位順位内にある場合、「はい」として決済される。それ以外の場合、この市場は「いいえ」で決着します。 適格モデルは、「Krypton」という名称のGoogle AIモデル（Gemini Krypton、Gemini 4 Krypton、または同様の命名のバリアントや後継ブランドを含む）であるか、Googleまたは信頼できる報道の一致した見解によって、報告書で言及されたモデルと同一であることが確認されたモデルでなければなりません。新しいGeminiモデル（例：Gemini 4.1）やGemini 4 Carbonの更新版を含め、その他の名称で掲載されたモデルは、2027年6月30日、23:59 ETまでに、以前コードネーム「Krypton」と呼ばれていたモデルと同一であることが確認された場合にのみ適格となります。Kryptonから単に派生したモデル、Kryptonから蒸留されたモデル、またはKryptonの改良を取り入れたモデルは、同一モデルであることが確認されない限り適格となりません。 https://arena.ai/leaderboard/text/overall-no-style-controlのLeaderboardタブ「Text Arena | Overall」にある「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で初めて確認可能になった後の時点に基づいて、この市場を決済します。対象モデルがLeaderboardに初めて表示されてから7日目の終わりまで利用できない場合、または 2027年6月30日、23:59 ET までに対象モデルがLeaderboardに追加されない場合、この市場は「いいえ」で決済されます。

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