계산 불투명성 시대에도 인공지능을 활용하여 선험적 수학적 지식을 얻을 수 있다. 이를 위해서는 인간의 증명 검사 능력을 기계화한 투명한 증명 검사기를 활용해야 한다.
대규모 언어 모델은 수학자들의 작업을 지원할 수 있는 강력한 도구이지만, 정확성과 논리적 엄밀성이 요구되는 수학 분야에서는 여전히 한계가 존재한다.
