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

Christian Goldbach (1690 - 1764) was a German mathematician famous for his eponymous Conjecture. Goldbach's Conjecture is one of the most infamous problems in mathematics, and states that every even ...

The telescope conjecture gave mathematicians a handle on ways to map one sphere to another. Now that it has been disproved, the universe of shapes has exploded. In early June, buzz built as ...

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

A powerful technique called SAT solving could work on the notorious Collatz conjecture. But it’s a long shot. But Heule, a computer scientist at Carnegie Mellon University, has set his sights on an ...

It is well-known that our intuition is not perfect. We are predictably irrational in a huge number of ways in our everyday lives. But what about something a bit more sophisticated? Are there times ...

An artificial intelligence has disproved five mathematical conjectures – unproven theorems – despite not being equipped with any information about the problems. Adam Zsolt Wagner at Tel Aviv ...