논증기하 알고리즘이 이미 밝혀져서 컴퓨터의 초광속계산으로
다 증명가능하기때문인가요? 논증기하로 뭔갈 밝혀서

얻는 이점은 이제 0인가요?