인공지능 시대의 선험적 지식: 수학적 발견에서 AI의 역할

계산 불투명성 시대에도 인공지능을 활용하여 선험적 수학적 지식을 얻을 수 있다. 이를 위해서는 인간의 증명 검사 능력을 기계화한 투명한 증명 검사기를 활용해야 한다.