AI Daily AI Daily – 2025-04-30(Morning) AI commercializationAI ethicsAI evaluationDeepSeek mathematical reasoning modelDeepSeek-Prover-V2-671BGPT-4oGPT-4o sycophancy issueLlama 4Llama Guard 4 security modelMeta AIMeta AI standalone appQwen3Qwen3 open-source model