AI Daily AI 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