AI DailyAI Daily – 2025-05-02(Morning)AI AgentAI Programming AgentChatBot ArenaClaude IntegrationsDeepSeek-Prover-V2GeminiLeaderboard HallucinationMathematical Theorem ProvingParakeet-TDT-0.6B-v2Phi-4-reasoningSmall Model Reasoning CapabilityThird-party Application Integration