Artificial intelligence is starting to solve mathematical theorems better than humans. Mathematicians say AI is now an existential threat to their work. As one professor puts it; “We are running out ...