AI has, for seemingly the first time, solved a famously difficult math problem — and folks, this discovery is huge if true.