This progress is faster than many had predicted, with mathematicians warning that their profession is undergoing one of the fastest evolutions the field has ever seen. “We are running out of places to hide,” wrote Jeremy Avigad at Carnegie Mellon University in Pennsylvania in a recent essay. “We have to face up to the fact that AI will soon be able to prove theorems better than we can.”