Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...

DeepSeek's AI models rival top Silicon Valley offerings, excelling in some complex tasks. The models use inference-time compute, breaking queries into smaller, manageable tasks. DeepSeek's DeepThink ...

Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI’s new model when he made an unexpected discovery. After ...

Clarification: This story has been updated to clarify how University of Colorado researchers handle their data collection. A student digs into a math problem that references his favorite superhero, ...