Will Xiaomi have the second highest estimated revenue for May 11–May 17, 2026?

• 01
  Active signal

  Resolution-risk observation firing

  Market has reached expiry. Watch the UMA dispute window.

• 02
  Liquidity

  Thin liquidity

  Only $1.7k of visible book — small orders can move the line. Treat the probability as a soft estimate.

Each factor is grounded in a single named metric you can verify on this page — probability, volume, liquidity, signal, resolution state. No predictions, no prose hallucinations.

This market will resolve according to the model family that has the second-highest total estimated inference revenue based on Anera's data published at https://anera.markets/intelligence/model-family for the specified week. The week’s values will be determined by summing the respective companies' estimated revenue figures for each day within the specified period. If data for all specified days is not released by 7:00 PM ET on the second day following the final date, this market will resolve based on data available at that time. Entries labeled “Other” will not be considered a model family for the purposes of this market. Revisions to published data will be considered only until all relevant data for the specified period has been released. Model families will be ranked primarily by their total estimated inference revenue over the specified seven-day period, with alphabetical order of model family names as listed in this market group used as a tiebreaker (e.g., if two model families are exactly tied, “Anthropic” would be ranked ahead of “OpenAI”). This market will resolve based on the model family that occupies second place under this ranking. The resolution source for this market is data published by Anera Intelligence at https://anera.markets/intelligence/model-family. If the relevant data for the full period is not available by 7:00 PM ET on the second day following the final date, this market will resolve based on data available at that time. If this resolution source is unavailable, this market will remain open until the data becomes available and will resolve based on the first subsequent check.

Categories come from a deterministic engine: manual overrides (highest priority) → sports hard markers → event-tag rules → keyword rules → Gamma category hint → default. The engine is versioned in category-overrides.ts; methodology lives at /methodology.