“Grant Sanderson speculates that AI's advancement in mathematics could reveal that much of the academic math pursued in recent decades has become disconnected from real-world applications and is effectively useless.”