An AI has disproved five mathematical conjectures without human help

An artificial intelligence has disproved five mathematical conjectures – unproven theorems – despite not being built with any information about the issues. Adam Zsolt Wagner at Tel Aviv University in Israel used an AI method of search for examples that could disprove a variety of long-standing conjectures in graph theory, an area of mathematics which…