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

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

Mahesh Kakde, professor of mathematics at the Indian Institute of Science, Bengaluru(Infosysprize.org) Winner of the the Infosys Prize 2022 in Mathematics for his contributions to algebraic number ...

Eclipse, a blockchain infrastructure platform founded by computer scientist Neel Somani, has released new insights into the growing role of artificial intelligence in mathematical discovery. 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 ...