AI 日報AI日報 – 2025-08-01(夕刊)3D世界モデルAGI(人工汎用知能)AIエージェントCommand A VisionモデルCriticLeanフレームワークGPT-5Horizon AlphaモデルOpenAIWAIC UP!ナイトX.509証明書の脆弱性オープンソースモデル数学的形式化混元3D世界モデル1.0