Journal d'IA Quotidien 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
