다른 인공지능들이 그렇듯, 걸작을 만들어 낼 수 있을까?


현재 난제의 대부분은 '걸작'이라고 불릴만한 수준의 고도로 세련된 증명법이 필요한데 그걸 기계가 해낼 수 있을까?

일단 가까운 미래에서 기계의 한계는 증명된 정리를 이용한 보조정리?정도밖에 안될거같네