Mathematicians are weighing the breakthroughs against errors, verification concerns, and the future of mathematical research