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

A paper posted online in January takes theoretical computer scientists halfway toward proving one of the biggest conjectures in their field. The new study, when combined with three other recent papers ...

Consider a pencil lying on your desk. Try to spin it around so that it points once in every direction, but make sure it sweeps over as little of the desk’s surface as possible. You might twirl the ...

Is it possible to deduce the shape of a drum from the sounds it makes? This is the kind of question that Iosif Polterovich, a professor in the Department of Mathematics and Statistics at Université de ...

Monstrous moonshine, a quirky pattern of the monster group in theoretical math, has a shadow - umbral moonshine. Mathematicians have now proved this insight, known as the Umbral Moonshine Conjecture, ...

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

A mathematical problem more than 300 years old gets a formal proof with the help of computer formal verification. A team led by mathematician Thomas Hales has delivered a formal proof of the Kepler ...