[math-fun] Grochow/Moore: "Matrix multiplication algorithms from group orbits"