AI 일보AI 일보 – 2025-08-04(조간)AI 수학 증명AI 에이전트Gemini 2.5 ProIMO 금메달Kimi K2MuonClip 최적화 도구SeedProver계층적 추론 모델에이전트 데이터 합성역강화 학습 IRL자체 반복 검증 프로세스형식적 검증
