Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

In 1977, Princeton mathematician Paul Seymour made a conjecture about certain large graphs. Nearly 40 years later, mathematicians have come up with a proof he was right. The conjecture is 13 words ...

Caroline Klivans, senior lecturer in applied mathematics and computer science, achieved every student’s dream and proved her former advisor wrong. The Partitionability Conjecture was postulated by ...

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

The Collatz Conjecture is a deceptively simple math problem. It has only two rules. First, pick any number. If it's even, divide it by two. If it's odd, multiply it by three and add one. This will ...