AI日报AI日报 – 2025-08-01(晚)3D世界模型AGIAI智能体Command A Vision模型CriticLean框架GPT-5Horizon Alpha模型OpenAIWAIC UP!之夜X.509证书漏洞开源模型数学形式化混元3D世界模型1.0