Progress...
韓 수학자 개발 참여한 AI, 미해결 수학난제 13개 해답 제시