Journal d'IA Quotidien IA – 2025-05-02(Soir) Agent IA de programmationAgent IA intelligentCapacité de raisonnement des petits modèlesChatBot ArenaDeepSeek-Prover-V2GeminiHallucination des classementsIntégration d'applications tiercesIntégrations ClaudeParakeet-TDT-0.6B-v2Phi-4-raisonnementPreuve de théorèmes mathématiquesQwen3