Grok Code Fast 1

Is this the model that is the "Coding" version of Grok-4 promised when Grok-4 had awful coding benchmarks?

I guess if you cannot do well in benchmarks, instead pick an easier to pump up one and run with that - speed. Looking online for benchmarks the first thing that came up was a reddit post from an (obvious) spam account[1] gloating about how amazing it was on a bunch of subs.

[1]https://www.reddit.com/user/Suspicious_Store_137/

I have a feeling its based on Grok 3 since Grok 3 has insane speeds then a heavy focus on programming.