OpenAI's AI helped overturn a longstanding math conjecture by finding a counterexample, highlighting a powerful new way to ...

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

Scientists observe bumblebees rolling a ball underneath a flower to get sugar, showing complex problem-solving abilities.

Insects join list of species capable of solving simple ‘box-and-banana’ problem that demonstrates basic intelligence Bumblebees can use tools to solve a problem, according to experiments that ...

The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got ...

“If you are a mathematician,” one of the world’s leading mathematicians recently wrote, “you may want to make sure you are sitting down before reading further.” And you’ll definitely need to sit down ...

A new benchmark pitting AI against previously unseen maths problems shows systems still fall short of top human expertise.

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

These are math’s most famous open questions. Solve one, and you’ll win a $1-million prize—but it’s only happened once since ...

He built interfaces that allowed engineers, scientists and everyday people to solve difficult problems without having to ...