4B 小模型干翻 30B 开源方案,还跑赢了 GPT-5:一支前 DeepSeek 团队的「虚拟世界」路线 | AREX