AI DailyAI Daily – 2025-05-17(Morning)AI AgentAI Programming AgentAlibabaCodexCodex preview versionFastVLM visual language modelFG-CLIP cross-modal modelMiniMaxOpenAIQwenSpeech-02 voice modelVoice large modelWorldPM researchAI 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
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