연구진이 LLM 에이전트 ProofCouncil을 개발했어요. 이 에이전트는 author-critic 아키텍처를 활용해 수학 문제를 해결해요. FirstProof 챌린지에서 6개의 문제에서 최고 성능을 기록했고, 30개의 개방형 문제에서 유용한 부분적 진전을 보였어요. ProofCouncil 개발에 사용된 에이전트 빌딩 라이브러리를 오픈 소스로 공개하여 커뮤니티에 기여할 계획이에요.