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 mathematical theorems. They have already used it to generate a number of previously unknown formulas.