will AI make mathematics obsolete?