주제

AI 생성 수학적 증명

수학적 증명을 생성하는 데 인공지능 시스템을 활용하는 것과 이에 수반되는 검증, 투명성 및 공로 귀속 문제.