The speaker expects AI to increase mathematical understanding and the number of proved theorems, improve the overview of mathematics, and provide tools to explore previously obscure areas.

“So I think AI opens up huge new possibilities for mathematics. It will change many things about it, but at the end of the day, uh, we're gonna end up with more understanding, we're gonna end up with more theorems proved, and we're gonna end up, you know, with just a better overview of what mathematics is and, uh, and, and great tools where we can explore new dark corners, uh, and enlighten them and enlighten, uh, our community.”