Boletim Diário de IADiário de IA – 2025-06-01(Edição da manhã)Avaliação RISEBench de edição de imagemBiblioteca de conjecturas matemáticas da DeepMindGeração de códigoIDE de IA Tongyi LingmaInferência de modelos grandesMatemática formalMétodo S-GRPO da HuaweiNúcleos CUDANúcleos CUDA gerados por IA da StanfordOtimização de IA
