AI TageszeitungKI-Tagesbericht – 2025-05-02(Abend)ChatBot ArenaClaude-IntegrationenDeepSeek-Prover-V2GeminiInferenzfähigkeiten kleiner ModelleIntegration von DrittanbieteranwendungenKI-AgentenKI-ProgrammieragentenMathematische TheorembeweiseParakeet-TDT-0.6B-v2Phi-4-ReasoningQwen3Ranking-Halluzinationen