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