자율 수학 에이전트
인간의 개입 없이 복잡한 수학적 정리를 증명하거나 문제를 해결하도록 설계된 AI 시스템입니다. 기존 LLM이 단순 계산에 그쳤던 것과 달리, 논리적 추론 단계를 스스로 구성하여 고난도 문제를 해결하는 능력을 갖추고 있습니다.