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モデル通義千問Qwen3AI 日報AI日報 – 2025-05-01(朝)AIサプライチェーンAIサプライチェーンリスク分析AI評価手法DeepSeek-Prover-V2DeepSeek-Prover-V2-671BLMArenaランキングの公平性Qwen2.5-Omni-3BQwen3RLVR数学推論手法オープンソース大規模モデルマルチモーダルモデル強化学習数学推論大規模モデル
AI 日報AI日報 – 2025-05-01(朝)AIサプライチェーンAIサプライチェーンリスク分析AI評価手法DeepSeek-Prover-V2DeepSeek-Prover-V2-671BLMArenaランキングの公平性Qwen2.5-Omni-3BQwen3RLVR数学推論手法オープンソース大規模モデルマルチモーダルモデル強化学習数学推論大規模モデル
