This was shared across twitter.

Will it be confirmed real or completely made up? If they announce benchmark results that are all better than 1% less than the current leaked results, this market resolves YES.

It also resolves yes if the benchmark results were obtained with pass@1024 or something like that

• Update 2025-07-01 (PST) (AI summary of creator comment): This market now refers to Grok 4, which the creator considers a rename of the model previously referred to as Grok 3.5.