xAI is 4 Elo points below DeepSeek, so this resolves NO.

@Bayesian want more?

is style control on or off?

@redcathode it's based on the score on the leaderboard. So, it depends on whether that will be style controlled on June 30.

@jim it's currently stylectrl by default on the website, but non-stylectrl on the HF page

The fact that deepseek is there with an MIT license is

1) bloody awesome

2) should make it easier to surpass for everyone else since they can directly build on it

I think deepseek's current results are easy to replicate. But not sure what Xai's release schedule is going to look like.