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