El propósito de esta pregunta es recopilar ejemplos de la informática teórica donde el uso sistemático de las computadoras fue útil.
- al construir una conjetura que conduzca a un teorema,
- falsificar un enfoque de conjetura o prueba,
- construir / verificar (partes de) una prueba.
Si tiene un ejemplo específico, describa cómo se hizo. Quizás esto ayude a otros a usar las computadoras de manera más efectiva en su investigación diaria (que todavía parece ser una práctica poco común en TCS a partir de hoy).
(Marcado como wiki de la comunidad, ya que no existe una única respuesta "correcta").