AI TageszeitungKI-Tagesbericht – 2025-04-30(Abend)DeepSeek mathematisches Reasoning-ModellDeepSeek-Prover-V2-671BGPT-4oGPT-4o Schmeichelei-ProblemKI-BewertungKI-EthikKI-KommerzialisierungLlama 4Llama Guard 4 SicherheitsmodellMeta KIMeta KI eigenständige AnwendungQwen3Qwen3 Open-Source-Modell