A new study reveals that human mathematicians have surpassed AI in solving unpublished high-level math problems, challenging ...

The closest the field has come to solving the planar unit distance problem, first proposed in the 1940s, was in 1984. Now, OpenAI claims an internal model has cracked the puzzle.

OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the attention of elite mathematicians.

OpenAI said one of its internal models had made a breakthrough with a challenge first posed by Hungarian mathematician Paul ...

It took over a decade of checking and rechecking before his fellow mathematicians were happy that Dr Hales’s calculations ...

News that large language models (LLM) have made major advances in solving Erdős problems – a set of problems formulated by the renowned 20 th-century mathematician Paul Erdős – has created an ...

OpenAI has said that one of its unreleased AI reasoning models has solved a long-standing mathematics problem first proposed by Paul Erdos in 1946.

Mathematicians are stunned at the progress AI is making in solving advanced problems, leaving some questioning whether there will still be room for humans ...

Google DeepMind researchers recently developed a technique to improve math ability in AI language models like ChatGPT by using other AI models to improve prompting—the written instructions that tell ...

When engineers build AI language models like GPT-5 from training data, at least two major processing features emerge: memorization (reciting exact text they’ve seen before, like famous quotes or ...