Journal d'IAQuotidien 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