Цілі цього питання - зібрати приклади теоретичної інформатики, де систематичне використання комп’ютерів було корисним
- будуючи гіпотезу, яка веде до теореми,
- фальсифікація підказки або підходу до доказування,
- побудова / перевірка (частини) доказу.
Якщо у вас є конкретний приклад, будь ласка, опишіть, як це було зроблено. Можливо, це допоможе іншим більш ефективно використовувати комп’ютери у своїх щоденних дослідженнях (що, як і сьогодні, здається, є досить рідкісною практикою в TCS).
(Позначено як вікі спільноти, оскільки немає єдиної "правильної" відповіді.)