AI is both the best and worst thing to ever happen to mathematics

Mathematicians now have a formidable tool for breaking open challenging problems, but working out how best to use it isn't going to be easy

≈