Buletin AI HarianBerita AI – 2025-06-01(Edisi pagi)Evaluasi pengeditan gambar RISEBenchGenerasi kodeIDE AI Tongyi LingmaInferensi model besarInti CUDAInti CUDA hasil generasi AI StanfordMatematika formalMetode S-GRPO HuaweiOptimisasi AIPustaka konjektur matematika DeepMind