What are some theorems that currently only have computer-assisted proofs? Posted by Victor, at math.stackexchange.com, 29 Dec 2014 What are some theorems that currently only have computer-assisted proofs? For example, there's the four colour theorem. I am…