Using TypeSafe Jev to make a Rubik's Cube solve itself like a human
A developer used TypeSafe Jev to make a Rubik's Cube solve itself with a beginner method in 94 moves, like a person rather than the 22-move optimal solution; Jev is not an LLM and answers one question with a probability in ~250ms.