스카이넷은 계속 증명 계산을 풀어내가고 있는듯하지만 끝은 어디인가