The last dimension of Keller's conjecture has been proven using a computer algorithm. The conjecture involves the way hypercubes in different dimensions share sides when tiled. The proof is ...

Has one of the major outstanding problems in number theory finally been solved? Or is the 600-page proof missing a key piece? The verdict isn’t in yet, but the proof, at least, will finally appear in ...

The Peking University team's AI-driven framework not only solved Dan Anderson’s conjecture in commutative algebra but also produced a fully formalised proof on its own.

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...

Hannah Cairo found herself stuck on a problem that wouldn’t leave her mind. It wasn’t a regular homework assignment—it was a decades-old mathematical puzzle believed to be true by leading experts in ...

Mathematicians thought they were on the cusp of proving a conjecture about the ancient structures known as Apollonian circles. But a summer project would lead to its downfall. Summer Haag and Clyde ...

A pair of mathematicians has solved the first chunk of one of the most famous conjectures about the additive properties of whole numbers. Proposed more than 60 years ago by the legendary Hungarian ...

The Collatz conjecture is also known as the “3n + 1” problem. It’s an easy problem to explain and check, and has been tested up into the nineteen figure range. But it’s only now that anyone has come ...

Using AI and computer automation, researchers have developed a 'conjecture generator' that creates mathematical conjectures, which are considered to be the starting point for developing mathematical ...