In a series of experiments, the fuzzy pollinators figured out how to use a ball as a tool to access a sugary treat. The study ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to ...

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

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

Mathematicians are stunned at the progress AI is making in solving advanced problems, leaving some questioning whether there ...

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.

P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...

Students with learning disabilities and other challenges may find word problems difficult even when they know the math, so ...

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

AI solved a math problem that stumped experts for 80 years, revealing deeper lessons about human cognition, focus, and ...

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