➀ Microsoft has unveiled Phi-4, a small AI model with impressive mathematical reasoning capabilities; ➁ Phi-4 outperforms larger models and even beats heavyweights like Claude Sonnet 3.5, GPT 4o, and Google Gemini Pro 1.5 in math competition problems; ➂ Microsoft's advancements in developing Phi-4, including the use of high-quality synthetic data sets and innovative post-training methods, push the frontier of size vs quality.