LEAP: LLM이 린 증명기에서 IMO 난이도 수학 문제 푸는 에이전트 프레임워크 작성: STORIUM 편집부 2026년 06월 04일 18시 29분 0 LEAP는 범용 LLM을 활용해 형식 수학 정리 증명에서 최고 수준 성능을 달성한 에이전트 프레임워크다. 2025 퍼트남 경시 12문제 전부 해결, ...
