It’s an educated guess, not a proof. But a good conjecture will guide math forward, pointing the way into the mathematical unknown. Mountain climbing is a beloved metaphor for mathematical research.

Arun Ram receives funding from the Australian Research Council. MILLENNIUM PRIZE SERIES: The Millennium Prize Problems are seven mathematics problems laid out by the Clay Mathematics Institute in 2000 ...

The artificial intelligence (AI) program DeepMind has gotten closer to proving a math conjecture that's bedeviled mathematicians for decades and revealed another new conjecture that may unravel how ...

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

Hyam Rubinstein receives funding from the Australian Research Council and has also received funding from several mining companies for research on the optimal design of access networks in underground ...

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

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

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