Microsoft: il ragionamento Phi-4 compete con modelli più grandi e raggiunge le prestazioni di DeepSeek-R1 7:20Maggio 1, 2025