1996 wurde ein seit langem offenes Problem von einem Computer gelöst; nämlich, dass Robbins Algebra und Boolesche Algebra gleich sind. Der Beweis wurde von einem automatisierten Theorembeweiser gefunden.
Darüber hinaus enthält der bekannte Beweis des Vierfarbensatzes computergenerierte Komponenten.
Ziel dieser Frage ist es, Beweise aufzulisten, die (vollständig oder teilweise) vom Computer gefunden wurden (unabhängig davon, ob es sich um den einzigen bekannten oder den zum ersten Mal entdeckten Beweis handelt ).