Domestic self-developed open-source modelsnow allow models to switch freely between fast and slow thinking! Huawei has ...

On September 5, IT Home reported that Alibaba Tongyi Qianwen has launched the latest Qwen-3-Max-Preview model on its official ...

🔔 The automatic evaluation on CodaLab are under construction. The MathVista dataset is derived from three newly collected datasets: IQTest, FunctionQA, and Paper, as well as 28 other source datasets.

The bird has never gotten much credit for being intelligent. But the reinforcement learning powering the world’s most ...

A new federally funded national institute at Carnegie Mellon University will help mathematicians use artificial intelligence to make mathematical reasoning faster and more reliable in solving pressing ...

The term "reasoning" is a familiar metaphor in today's artificial intelligence (AI) technology, often used to describe the verbose outputs generated by so-called reasoning AI models such as OpenAI's ...

Artificial intelligence is advancing across a wide range of fields, with one of the most important developments being its growing capacity for reasoning. This capability could help AI becomes a ...

Bottom line: More and more AI companies say their models can reason. Two recent studies say otherwise. When asked to show their logic, most models flub the task – proving they're not reasoning so much ...

Add a description, image, and links to the math-reasoning topic page so that developers can more easily learn about it.

While DeepSeek's powerful new AI model, R1, has been grabbing headlines, the Chinese AI lab also quietly released a lighter, more efficient version of it. This smaller model, called ...

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