In recent weeks, a surprisingly contentious debate has been making headlines around the world: What role should artificial intelligence (AI) play in mathematics? The field, which has centuries-old methods of operating, sharing results, and acknowledging contributions, is grappling with how to incorporate the prodigious power of this new technology. Some mathematicians are ready to embrace change and argue that the potential advances offered by AI-enabled math solutions outweigh the costs—that AI, with its special capabilities, such as its ability to explore vast search spaces, might be able to