AI日报AI日报 – 2025-05-02(下)AI 智能体AI 编程智能体ChatBot ArenaClaude IntegrationsDeepSeek-Prover-V2GeminiParakeet-TDT-0.6B-v2Phi-4-reasoningQwen3小模型推理能力排行榜幻觉数学定理证明第三方应用集成딥시크-프루버-V2
