Comment by feverzsj

It's almost as if it was actually found by manually written brute-force algorithm running on OpenAI's massive computer cluster.