Journal d'IAQuotidien IA – 2025-06-01(Matin)Benchmark d'édition d'images RISEBenchBibliothèque de conjectures mathématiques de DeepMindGénération de codeIDE IA Tongyi LingmaInférence de grands modèlesMathématiques formellesMéthode S-GRPO de HuaweiNoyaux CUDANoyaux CUDA générés par l'IA de StanfordOptimisation par IA
