Mathematicians are bitterly divided over a controversial proof