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

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.

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

Using AI and computer automation, Technion researchers have developed a 'conjecture generator' that creates mathematical conjectures, which are considered to be the starting point for developing ...

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

A new approach has chipped away at a famously unsolved math problem. The Erdos-Turan conjecture in additive combinatorics is one of the longest lasting unsolved problems. The two mathematicians used ...

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

Despite multiple conferences dedicated to explicating Mochizuki’s proof, number theorists have struggled to come to grips with its underlying ideas. His series of papers, which total more than 500 ...

Summer Haag and Clyde Kertzer made major news in the math world while working on a summer research project Prior to the end of the 2022-2023 academic year, graduate student Summer Haag and junior ...

At the 1994 reception for the prestigious Kyoto Prize, awarded for achievements that contribute to humanity, the French mathematician André Weil turned to his fellow honoree, the film director Akira ...