XiaomiMiMo

/

MiMo-V2-Flash

like 728

Follow

Xiaomi MiMo 3.17k

一个badcase

已知有4个逻辑单元
Ges，Tes，Gus，Tus。
设定3个逻辑符号
△ ◮ ◪

Ges △ Tes = es
Tes △ Tus = Ts
Ges ◮ Tes = GT
Tes ◮ Tus = eu
Tes ◪ Gus = tEgU
Ges ◪ Gus = EU

1. Ges ◮ Gus = ？
2. Tes △ Tus ◪ Tus = ？

这问题gpt oss系列可以答对，国产模型几乎都很难答对，mimo v2 flash也一样

这模型最好的地方是推理速度简直起飞，在能力和deepseek v3.2价格都差不多的情况下，推理速度要快很多倍，有grok4.1 fast内味了

badcase2

求最小的正实数 $ c $，使得对于任意整数 $ n \geq 4 $，以及集合 $ A \subseteq {1, 2, \ldots, n} $，若 $ |A| > cn $，则存在函数 $ f: A \to {1, -1} $，满足：
$$\mid \sum _{a\in A}f(a)\cdot a\mid \le 1.\backslash left|\; \backslash sum\_\{a\; \backslash in\; A\}\; f(a)\; \backslash cdot\; a\; \backslash right|\; \backslash leq\; 1.$$

这个问题有很大概率导致模型推理进入死循环，我是用网页版进行的测试

badcase2 网页版和api都很容易陷入死循环

有goodscase吗

推理陷入死循环目前国产模型里glm4.6和这个模型是比较容易出现的，其他顶尖模型出现推理死循环的概率极低

测了OpenAI MRCR，2针，16k token以下，召回率只有44.31%，我认为这个称不上SOTA

测了OpenAI MRCR，2针，16k token以下，召回率只有44.31%，我认为这个称不上SOTA

用雷老板的对标铁律是可以对上的

一个badcase

已知有4个逻辑单元
Ges，Tes，Gus，Tus。
设定3个逻辑符号
△ ◮ ◪

Ges △ Tes = es
Tes △ Tus = Ts
Ges ◮ Tes = GT
Tes ◮ Tus = eu
Tes ◪ Gus = tEgU
Ges ◪ Gus = EU

1. Ges ◮ Gus = ？
2. Tes △ Tus ◪ Tus = ？

这问题gpt oss系列可以答对，国产模型几乎都很难答对，mimo v2 flash也一样

这个条件看着不满秩呢，是你民科还是我民科

一个badcase

已知有4个逻辑单元
Ges，Tes，Gus，Tus。
设定3个逻辑符号
△ ◮ ◪

Ges △ Tes = es
Tes △ Tus = Ts
Ges ◮ Tes = GT
Tes ◮ Tus = eu
Tes ◪ Gus = tEgU
Ges ◪ Gus = EU

1. Ges ◮ Gus = ？
2. Tes △ Tus ◪ Tus = ？

这问题gpt oss系列可以答对，国产模型几乎都很难答对，mimo v2 flash也一样

这个条件看着不满秩呢，是你民科还是我民科

这是一道简单的推理题，正常智商的人类很容易可以做出来，大语言模型因为tokenizer的问题做起来有点费劲。你如果看不懂题目，可以去问问gpt哥们

能不能不搞卖货那套？实事求是很难嘛，国内的glm,minimax,qwen,deepseek,kimi，它能打哪个，我都不提闭源

能不能不搞卖货那套？实事求是很难嘛，国内的glm,minimax,qwen,deepseek,kimi，它能打哪个，我都不提闭源

没搞懂和卖货有啥关系。。。普遍认为开源模型能逼近闭源模型，没有打败的预期吧。。。