AI 日報AI日報 – 2025-04-30(夕方)AI倫理AI商業化AI評価DeepSeek 数学推論モデルDeepSeek-Prover-V2-671BGPT-4oGPT-4o おべっか問題Llama 4Llama Guard 4 セキュリティモデルMeta AIMeta AI スタンドアロンアプリQwen3Qwen3 オープンソースモデル