이미 다른 AI가 증명한 바 있다