One computer scientist’s “stunning” proof is the first progress in 50 years on one of the most famous questions in computer ...

The systems are of a sufficient complexity that it is possible to say the algorithm did it. And it's actually true. The algorithm is sufficiently complicated, and it's changing in real time.