AI, 수학 난제 해결부터 워터마크까지