Diario de IADiario 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
