KI-Tagesbericht – 2025-05-01(Abend)
DeepSeek-Prover-V2DeepSeek-Prover-V2 TheorembeweisungsleistungDiffTransformer LangtextmodellierungGPT-4o übermäßiges Gefälligkeitsverhalten ReparaturGPT-4o-Update-RollbackKI-Agenten-ProtokollLLM-NachtrainingstechnikMicrosofts Phi-4-reasoning-plus-ModellMoE-InferenzoptimierungPhi-4-InferenzmodellQwen3-235B Mehrsprachige UnterstützungTongyi Qianwen Qwen3