Renowned mathematician Terry Tao is championing the use of artificial intelligence in mathematical research through the adoption of automated proof-checkers. These tools allow complex problems to be broken down into smaller chunks and reassembled with verified correctness, heralding a transformative new era for the field.