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