banteg 上线 Sokoban 推箱子评测

banteg 上线 Sokoban 推箱子评测，用于考察 LLM 的多步规划与状态追踪能力。该经典谜题常被用来探测模型的推理与规划短板，原文未提供具体模型成绩。