AI 일보AI 일보 – 2025-08-05(조간)AGI(일반 인공지능)AI 비디오 모델AI 위험AI 페르소나 벡터 제어AnthropicSeedProver 수학 벤치마크λ-계산 범용 함수감정 표현 AI 비디오소형 오픈소스 LLM수학적 추론텐센트 혼위안(腾讯混元)