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

The Peking University team's AI-driven framework not only solved Dan Anderson’s conjecture in commutative algebra but also ...

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

Using a limited set of mathematical equations, a mathematical sciences professor said he has confirmed a 224-year-old math conjecture about the origins of our solar system, providing insights about ...

Working in secret for more than two years, a group of mathematicians has set out to resolve of the longest and most bitter ...

The last dimension of Keller's conjecture has been proven using a computer algorithm. The conjecture involves the way hypercubes in different dimensions share sides when tiled. The proof is ...

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

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

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

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