In recent weeks, a surprisingly contentious debate has been making headlines around the world: What role should artificial intelligence (AI) play in mathematics?

caltech.edu/about/news/cal…