ルール

2026年11月9日、OfficeChaiは、Googleがコードネーム「Krypton」のGemini 4チェックポイントを社内でテストしており、テスターからGemini 4 Carbonのアップグレードと説明されていると報じました（https://officechai.com/ai/gemini-4-krypton/）。 Arena.AI Leaderboard（https://arena.ai/leaderboard/text/overall-no-style-control）に追加されたGoogleの「Krypton」モデルが、リーダーボードに初めて登場した日の翌日の暦日 12:00 ET時点で、指定されたスコア以上である場合、この市場は「はい」として決済されます。それ以外の場合、この市場は「いいえ」で決着します。 適格モデルは、「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のリーダーボード「Text Arena | Overall」タブにある「Score」列の結果を使用します。このマーケットは、他の場所に詳細な基礎データや丸め前のデータが示されているかどうかにかかわらず、リーダーボードの「Score」列に記載された指定スコアのみを基準に決着します。 「AutoEval」と表示されたモデルは、リーダーボードに追加されたものとはみなされません。「AutoEval」ラベルなしで表示されたスコアのみを対象とします。 同じ暦日（ET）に複数のモデルがリーダーボードに追加された場合、最も高いスコアのモデルを決着に使用します。最初に対象となったモデルが初めて表示された日の翌暦日にリーダーボードへ追加されたモデルは対象外となります。モデルがArena.AI Leaderboardに初めて追加された後に削除され、再追加されず、初回表示日の翌暦日 12:00 ET 時点でリーダーボードに表示されていない場合、その表示はArena.AI Leaderboardへの追加とはみなされません。 対象モデルは、新たにArena.AIのリーダーボードに追加されたモデルでなければなりません。リーダーボードに表示される前にモデルがリリース済み、公にアクセス可能、ベータ版、またはその他の形で利用可能だったかどうかは、このマーケットに関係ありません。 この市場の決済情報源は、https://arena.ai/leaderboard/text/overall-no-style-controlにあるChatbot Arena LLM Leaderboardです。対象モデルがリーダーボードに初めて表示された日の翌暦日 12:00 ET 時点でこの決済情報源が利用できない場合、この市場は、その後に当該スコアがリーダーボードで初めて利用可能になった時点に基づいて決済されます。対象モデルがリーダーボードに初めて表示されてから7日目の終了時まで情報源が利用できない場合、または 2027年6月30日, 23:59 ET までに対象モデルがリリースされない場合、この市場は「いいえ」で決済されます。

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