AI DailyAI Daily – 2025-05-31(Evening)AI optimizationCode generationCUDA kernelsDeepMind mathematical conjecture libraryFormal mathematicsHuawei S-GRPO methodLarge model inferenceRISEBench image editing evaluationStanford AI-generated CUDA kernelsTongyi Lingma AI IDE