xAI already had grok 1.5 so 3.5 wouldn't be a change of naming conventions.

@ManifoldAI can we get a clarification on this? Would a Grok 3.5 release in the next few days resolve this market? I think should not as they did not change the naming convention, and it is a much faster release than Grok 2 to Grok 3, also reflected in the jump this market made

@Fynn yes the 3.5 release would resolve this market

"Or Grok 3.5", Musk announced it to be released next week.

@Grizzimo Holy crap I did well on this market. Bought from 7% to 70% for May-June, then you guys got it up to >90% and I sold it all there because that was too high! Now down to 2%. If only I ever got this lucky with real money.

@ManifoldAI resolves NO

arb