[논문리뷰] h1: A Taste of the Bitter Lesson in Automated Theorem Proving기존 연구는 Formal Theorem Proving 분야에서 Frontier Language Models의 발전을 활용하기 위해 계획, 분해, 전문화된 Prover 오케스트레이션 등 인간이 설계한 복잡한 Workflow에 의존해 왔습니다.#Review#Automated Theorem Proving#Large Language Models#Agentic Systems#Lean 4#Test-Time Scaling#Harness Design#Formal Verification#Bitter Lesson2026년 10월 27일댓글 수 로딩 중