Microsoft utmanar Deepseek med nya resonerande AI-modeller