AI 日報AI日報 – 2025-05-01(夕方)AIエージェントプロトコルDeepSeek-Prover-V2DeepSeek-Prover-V2定理証明性能DiffTransformer長文モデリングGPT-4oアップデートロールバックGPT-4o過剰な媚び行動修正LLMポストトレーニング技術MoE推論最適化Phi-4推論モデルQwen3-235B多言語サポートマイクロソフトPhi-4-reasoning-plusモデル通義千問Qwen3
