GeekNews'배틀쉽' 게임을 활용해 AI 에이전트에게 더 나은 질문법 가르치기Monte Carlo 추론과 Auto-formalization을 통한 소형 모델의 고효율 탐색 능력 확보AI/MLadvanced5 분 소요2026년 6월 4일