What are some theorems that currently only have computer-assisted proofs? What are some theorems that currently only have computer-assisted proofs? For example, there's the four colour theorem. I am very curious about this and would like to generate a list.

Hales' proof of Kepler's conjecture that cubic close packing is optimal uses computer checking of numerous cases.