Microsoft: Phi-4 Reasoning konkuruje z większymi modelami i osiąga wydajność DeepSeek-R1 7:221 maja, 2025