[논문리뷰] Lean Pool: An AI-Maintained Archive of Formalized Mathematics본 논문은 AI 시스템이 수학적 연구에 기여하는 속도가 인간의 이해 및 검증 속도를 초과함에 따라 발생하는 Formal Proof의 재활용 및 지속 가능성 문제를 해결하고자 Lean Pool을 제안한다.#Review#Formalized Mathematics#AI Agents#Lean#Mathlib#Archive#Proof Verification#Automated Maintenance#Compilation Optimization2026년 9월 22일댓글 수 로딩 중