数学推理测试

微软发布轻量级推理模型Phi-4，仅14B参数却在数学推理测试中超越Qwen3、DeepSeek R1等大模型。