Take a group of runners circling a track at unique, constant paces. Answering the question of how many will always end up ...

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

Who would have imagined that an artificial intelligence tool accessible to everyone could participate in the creation of novel mathematical proofs? This observation marks a milestone in the field ...

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

Fermat’s last theorem is just one of many examples of innocent-looking problems that can long stymie even the most astute mathematicians. It took about 350 years to prove Fermat’s scribbled conjecture ...