TheoremBench, LLM 형식 수학 증명 능력 새 기준 제시…쉬운 문제 편향 확인 작성: STORIUM 편집부 2026년 06월 10일 20시 06분 0 Lean4 기반 TheoremBench가 LLM의 수학 정리 증명 능력을 경쟁 문제 중심 평가에서 벗어나 고전 정리와 의존성 구조 기반으로 측정한다.
