Mathematician and computer scientist László Babai seems to have successfully simplified the graph isomorphism problem.