전문가 가이드 기반 증명 탐색에서 자동화된 미해결 문제 해결로

From Expert-Guided Proof Search to Automated Open-Problem Solving