Boletim Diário de IA Diá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
