수학적 증명할때 무한대를 이용해서 지지고복고 하는데
컴퓨터는 못하자나
ai쉑들 똑똑해져봤자 아님?