This is actually interesting, because I remember sokoban being one of those games that are hard for a computer to find a winning solution for, while being quite easy for a human. So they made their own game inspired by sokoban with very simple levels?
LOL. Lmao, even. Like the first five levels of Baba Is You are simple. Past that, that game is a mf menace. Most sokoban games won't give you the opportunity to accidentally zero-sum yourself out of existence or turn every wall tile into a walking controllable copy of the player. BIY requires some extremely out of the box thinking sometimes.
Look up reinforcement learning, it's the branch or ML/AI that Alphazero was based on. Video games are actually a main focus area for that kind of research.
Someone ran this at GDQ, and the commentary was nearly as impressive as the gameplay. Some levels last about three seconds and Punchy still managed to explain what he was doing in that time.
There was a Japanese restream that provided translation... at first. Halfway through they just gave up.