Linnk AI letöltése
•
Önálló Kutatási Asszisztens
>
Bejelentkezés
betekintés
-
인공지능 보조 증명
인공지능 시대의 선험적 지식: 수학적 발견에서 AI의 역할
계산 불투명성 시대에도 인공지능을 활용하여 선험적 수학적 지식을 얻을 수 있다. 이를 위해서는 인간의 증명 검사 능력을 기계화한 투명한 증명 검사기를 활용해야 한다.
1