Microsoft has introduced a new set of small language models called Phi-4-reasoning, Phi-4-reasoning-plus, and Phi-4-mini-reasoning, which are described as "marking a new era for efficient AI." These ...

There’s a curious contradiction at the heart of today’s most capable AI models that purport to “reason”: They can solve routine math problems with accuracy, yet when faced with formulating deeper ...

OpenAI has launched a new series of AI models called OpenAI o1, which are designed to handle more difficult problems, especially in areas like science, coding, and maths. These models spend more time ...

French AI lab Mistral is getting into the reasoning AI model game. On Tuesday morning, Mistral announced Magistral, its first family of reasoning models. Like other reasoning models — e.g. OpenAI’s o3 ...

OpenAI has unveiled a new model for its products, arriving for users near the end of January, 2025: It's called o3 (we seem to have jumped over o2), and it promises another significant step forward in ...

Shortly after OpenAI released o1, its first “reasoning” AI model, people began noting a curious phenomenon. The model would sometimes begin “thinking” in Chinese, Persian, or some other language — ...

OpenAI has achieved "gold medal-level performance" at the International Math Olympiad, notching another important milestone for AI's fast-paced growth. Alexander Wei, a research scientist at OpenAI ...

Current AI models struggle to solve research-level math problems, with the most advanced AI systems we have today solving just 2% of the hundreds of challenges faced. When you purchase through links ...

In early June, Apple researchers released a study suggesting that simulated reasoning (SR) models, such as OpenAI’s o1 and o3, DeepSeek-R1, and Claude 3.7 Sonnet Thinking, produce outputs consistent ...

Leading Artificial Intelligence (AI) models may be performing impressively in basic scientific tasks, but they still fall short when it comes to deeper reasoning, a new study by researchers from the ...