# Conjectures Disproven by the use of Computers?

Question: Is there a list of conjectures (famous or not so famous) that were shown to be false by employing the use of computers?

This is just curiosity more than anything. I was actually wondering if more often than not - computers show many conjectures to be false? This question should include

• The conjectured existence of mathematical structures, for example in finite geometry
• Any instance of a computer (no matter the language) handling "intricate calculations" that would otherwise take to long or be impossible to do by hand. This for example would cover all instances where there is a theoretical set-up and a final result established by a computer calculation. It would also cover refutations where some results, not all of them, required a computer.
• A computer "showed" the conjecture was false, via something like AI ?
• The counterexample does not have to be large. An example of this would be something along the lines - "the conjecture is true for the first 3 integers" but a computer showed it is false for the fourth one.

I started an initial list by GOOGLING and try to organize by broad categories.

Groups, Graphs and Geometry

Number Theory

Analysis

However, in October 2015 a computer found an amicable pair:$$(445\,953\,248\,528\,881\,275,659\,008\,669\,204\,392\,325)$$such that the smallest prime factor of the first term is $3$, whereas the smallest prime factor of the second term is $5$.