This article is part of our reviews of AI research papers, a series of posts that explore the latest findings in artificial intelligence.
Deep learning can help discover mathematical relations that evade human scientists, a recent paper by
Technology 20 May 2021
Shutterstock/ktsdesign
An artificial intelligence has disproved five mathematical conjectures, despite not being equipped with any information about the problems.
Adam Zsolt Wagner at Tel Aviv University used an AI approach to search for examples that would disprove a range of long standing conjectures in graph theory, an area of mathematics that involves studying objects made of nodes and links. Mathematicians thought these conjectures were true, but had not been able to prove them.
For each conjecture, Wagner created a measure of how close an example was to disproving it. For instance, if a conjecture proposed that a certain problem could …