AI 일보AI 일보 – 2025-06-01(조간)AI 최적화CUDA 커널DeepMind 수학 추론 라이브러리RISEBench 이미지 편집 평가대규모 모델 추론스탠포드 AI 생성 CUDA 커널코드 생성통의링마 AI IDE형식화 수학화웨이 S-GRPO 방법