Progress on graph isomorphism