참인지 거짓인지 증명불가능하다고 알려진 수학문제를 증명하면됨


이걸 증명하려면 현 수학공리인 zfc공리계부터 손봐서 새로운 공리를 만든뒤 증명을 해야하기때문에


zfc공리계로 이루어진 ai가 zfc공리계 밖의 무언가를 만들 수 있다는 증명이 됨


ai가 진정 새로운 무언가를 창발했다고 증명하려면 이게 가능해야한다고 나는 생각함