Buletin AI Harian Berita 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
