Algebrization: A New Barrier in Complexity Theory