고급 수학 증명 생성과 오류 검증을 함께 시험한 AdvancedMathBench 작성: 유지율 리포터 2026년 07월 14일 08시 41분 0 학부·박사 자격시험 증명 245개와 모델 증명 888개를 전문가 주석으로 구성해 최전선 모델의 과정 오류 탐지 한계를 드러냈다.
