If you go to ChatGPT.com, choose the o4-mini model from the drop-down menu and enter a prompt, you’ll see a message you’ve probably never seen before. “Thinking,” the chatbot responds as several ...

Artificial intelligence has moved from checking homework to attacking problems that professional mathematicians once treated ...

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

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 ...

In a new paper from OpenAI, the company proposes a framework for analyzing AI systems' chain-of-thought reasoning to understand how, when, and why they misbehave.

OpenAI o1 is a new large language model trained with reinforcement learning to perform complex reasoning. o1 thinks before it answers—it can produce a long internal chain of thought before responding ...

Nous Research's open-source Nomos 1 AI model scored 87/120 on the notoriously difficult Putnam math competition, ranking ...

As language models (LMs) improve at tasks like image generation, trivia questions, and simple math, you might think that ...

How do machine learning models do what they do? And are they really “thinking” or “reasoning” the way we understand those things? This is a philosophical question as much as a practical one, but a new ...

Large language models (LLMs), artificial intelligence (AI) systems that can process and generate texts in various languages, ...

Phi-4 will compete with other small models such as GPT-4o mini, Gemini 2.0 Flash, and Claude 3.5 Haiku. Share on Facebook (opens in a new window) Share on X (opens in a new window) Share on Reddit ...

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 ...