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 involves studying objects manufactured from nodes and links. Mathematicians thought these conjectures were true, but hadn’t had the opportunity to prove them.

For every conjecture, Wagner created a way of measuring how close an example was to disproving it. For instance, if a conjecture proposed that some problem …

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…

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…

Leave a Reply

Your email address will not be published.