볼자노는 오픈 소스 멀티 에이전트 LLM 시스템으로, 수학 및 이론 컴퓨터 과학 문제 해결에 활용돼요. 볼자노는 증명 에이전트와 검증 에이전트 간의 상호 작용을 조율하며, 지속적인 지식 기반을 유지해요. 총 6개의 결과 중 3개는 볼자노가 거의 자율적으로 생성했으며, 이는 LLM이 수학 연구에 기여할 수 있음을 보여줘요.