Timeline

Opened

Nov 11, 2026

Closes

Jan 1, 1970

Rules summary

On November 9, 2026, OfficeChai reported that Google was internally testing a Gemini 4 checkpoint codenamed "Krypton," described by testers as an upgrade on Gemini 4 Carbon (https://officechai.com/ai/gemini-4-krypton/). This market will resolve to "Yes" if the Google "Krypton" model added to the Arena.AI Leaderboard (https://arena.ai/leaderboard/text/overall-no-style-control) has at least the specified score at 12:00 PM ET on the calendar date following the date on which it first appears on the leaderboard. Otherwise, this market will resolve to "No". A qualifying model must be a Google AI model named "Krypton" (including variants or successor branding such as Gemini Krypton, Gemini 4 Krypton, or similar naming) or be confirmed to be the same model referenced in the report by Google or by a consensus of credible reporting. A model listed under any other name, including a new Gemini model (e.g., Gemini 4.1) or an update to Gemini 4 Carbon, will qualify only if it is confirmed by June 30, 2027, 11:59 PM ET to be the same model previously codenamed "Krypton". Models merely derived from, distilled from, or incorporating improvements from Krypton will not qualify unless confirmed to be the same model. Results from the "Score" column under the "Text Arena | Overall" Leaderboard tab at https://arena.ai/leaderboard/text/overall-no-style-control with style control off will be used to resolve this market. This market will resolve solely based on the specified score in the Score column of the leaderboard, regardless of any underlying granular or unrounded data presented elsewhere. A model marked "AutoEval" will not be considered added to the leaderboard. Only scores displayed without the "AutoEval" label will be considered. If multiple models are added to the leaderboard on the same calendar date (ET), the highest-scoring model will be used for resolution. Models added to the leaderboard on the calendar date following the initial qualifying model's first appearance will not be considered. If a model is first added to the Arena.AI Leaderboard but is subsequently removed and not re-added, such that it is not displayed on the leaderboard at 12:00 PM ET on the calendar date following its first appearance, its appearance will not qualify as added to the Arena.AI Leaderboard. A qualifying model must be newly added to the Arena.AI Leaderboard. Whether the model was previously released, publicly accessible, in beta, or otherwise available before appearing on the leaderboard is irrelevant for this market. The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://arena.ai/leaderboard/text/overall-no-style-control. If this resolution source is unavailable at 12:00 PM ET on the calendar date following the date on which the qualifying model first appears on the leaderboard, this market will resolve based on the first subsequent instance at which such a score becomes available on the leaderboard. If it remains unavailable through the end of the seventh day after the qualifying model first appears on the leaderboard or if no qualifying model release occurs by June 30, 2027, 11:59 PM ET, this market will resolve to "No".