Mind Matters Natural and Artificial Intelligence News and Analysis

TagDisproofs (in mathematics)


Did an AI Disprove 5 Math Conjectures With No Human Help?

Yes and no. Read the fine print…

Mathematicians have thought that five long-standing conjectures in graph theory might be true but they have not been able to prove them: Wagner programmed a neural network to create random examples and use these measures to assess their suitability as a counterexample. The AI discarded the worst scoring ones and then replaced them with more random examples before starting again. In dozens of cases the AI was unable to find an example that disproved the theory, but in five cases it landed on a solution which showed that the conjecture must be false. Matthew Sparkes, “An AI has disproved five mathematical conjectures with no human help” at New Scientist (May 20, 2021 A subscription is required to read the whole…