AI 日報AI日報 – 2025-06-01(朝刊)AI最適化CUDAカーネルDeepMind数学予想ライブラリHuawei S-GRPO手法RISEBench画像編集評価コード生成スタンフォードAI生成CUDAカーネル大規模モデル推論形式数学通義霊碼AI IDE