AI 日報AI日報 – 2025-08-04(朝刊)AIエージェントAI数学証明Gemini 2.5 ProIMO金メダルKimi K2MuonClipオプティマイザSeedProverエージェント型データ合成形式検証自己反復検証プロセス逆強化学習IRL階層型推論モデル
