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

A long-standing mathematical puzzle linked to the work of Paul Erdős has reportedly been solved with the help of ChatGPT, ...

A 23-year-old amateur solved open Erdős problem #1196 with a prompt to GPT-5.4 Pro – mathematicians see a new quality in this ...

UCLA mathematician Terence Tao, who reviewed the result, said that ChatGPT used a completely different method to solve the ...

The card game Set has long inspired mathematicians to create interesting problems. Now, a technique based on large language models (LLMs) is showing that artificial intelligence (AI) can help ...

This is a huge advance for AI to make big progress with better reasoning and better math. Artificial general intelligence (AGI) with advanced mathematical reasoning has the potential to unlock new ...