Is AI the End of Mathematics or an Exciting New Beginning?

Want to see what two of the world’s top math stars are doing?