A Rochester Institute of Technology doctoral student was part of a team of researchers that settled a 90-year-old math problem called Keller’s conjecture. David Narváez, who studies computing and ...

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

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

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

If pure math can teach us anything, it’s this: occasionally, your special interest might just change the world. For Joshua Zahl and Hong Wang, that special interest was the Kakeya conjecture. “I read ...

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

Hannah Cairo found herself stuck on a problem that wouldn’t leave her mind. It wasn’t a regular homework assignment—it was a decades-old mathematical puzzle believed to be true by leading experts in ...

Scientists recently announced progress on an elusive problem from 1960 known as the Sunflower Conjecture. While it doesn’t involve any plant biology, it does deal with objects called “mathematical ...