AI 日報 AI日報 – 2025-08-05(朝刊) AGIAIリスクAI人格ベクトル制御AI動画モデルAnthropicDeepMindSeedProver数学ベンチマークTencent Hunyuanλ計算の汎用関数小型オープンソースLLM感情表現AI動画数学的推論
