DeepSeek 领跑 AI 数学，阿里重磅开源 Qwen3，小米首秀 MiMo-7B！ AI Weekly 4.28-5.4 2025年5月4日14时 作者 AI信息Gap 数学证明模型 Prover-V2 ：MiniF2F-test 达 88.9% 通过率，刷新最高纪录，
