AI DailyAI Daily – 2025-04-30(Evening)AI evaluation methodsAI supply chainAI supply chain risk analysisDeepSeek-Prover-V2DeepSeek-Prover-V2-671BLMArena leaderboard fairnessmathematical reasoning large modelmultimodal modelopen-source large modelQwen2.5-Omni-3BQwen3Reinforcement learningRLVR mathematical reasoning method