Grok 特有的反向命名模型，grok-3-mini 能推理而 grok-3 不行，grok-4 出完一阵子，现在预热“更好”的 grok-4-mini
And grok2 ?
它的「更好」应该是指「由 grok-4 mini 驱动的 X 推荐算法」
网页端能用到 Grok 3 Thinking 的，只是不开放 API，至于原因嘛，emm，可能是怕跑分跑不到他官方公布的数据吧
gork-3-mini 真的是一个很有趣的模型，推理能力很不错。
要说的话，命名得确实不好，两个模型之间的关系更接近GPT-4.5和o4-mini这种。
这个是哪里看到的
