AI 日報AI日報 – 2025-05-02(夕方)AIエージェントAIプログラミングエージェントClaude統合DeepSeek-Prover-V2GeminiParakeet-TDT-0.6B-v2Phi-4推論Qwen3サードパーティアプリ連携チャットボットアリーナランキング幻想小型モデルの推論能力数学定理証明
