Diario de IA Diario de IA – 2025-06-01(Edición matutina) Biblioteca de conjeturas matemáticas de DeepMindEvaluación RISEBench de edición de imágenesGeneración de códigoIDE de IA Tongyi LingmaInferencia de modelos grandesMatemáticas formalesMétodo S-GRPO de HuaweiNúcleos CUDANúcleos CUDA generados por IA de StanfordOptimización de IA