AI 日報AI日報 – 2025-06-01(夕刊)AIアプリケーションAIエージェントAIモデルAlphaEvolve数学記録FP4トレーニング手法Gemini AIエージェントGrokシステムプロンプトSonnet 4.0表解析人工知能大規模言語モデル機械学習深層学習計算リソースのボトルネック
