AI Günlük Bülteni Yapay Zeka Bülteni – 2025-06-01(Sabah baskısı) AI optimizasyonuBüyük model çıkarımıCUDA çekirdekleriDeepMind matematik varsayımları kütüphanesiFormel matematikHuawei S-GRPO yöntemiKod üretimiRISEBench görüntü düzenleme değerlendirmesiStanford AI tarafından oluşturulan CUDA çekirdekleriTongyi Lingma AI IDE