Danus는 연구 수준의 수학적 추론을 위한 새로운 오케스트레이션 시스템으로, 사실 그래프를 공유 메모리 관리 메커니즘으로 활용합니다.
Danus는 계획 및 조정 기능을 가진 메인 에이전트, 병렬 증명 탐색을 수행하는 워커 에이전트, 그리고 수학적 주장을 검증하는 stateless 검증기로 구성됩니다.
알대브릭 기하학, 특이점 이론, 조합론 등 6개의 연구 수준 사례 연구를 통해 Danus가 장기간의 상세한 수학적 증명을 구성하는 데 효과적임을 입증했습니다.