Is AI the End of Math as We Know It?