Could you please give examples of fundamental questions in mathematics (let us say, pure mathematics) which were resolved *fundamentally* by the use of computers? More precisely, are there examples that you can compare to the accomplishments that Gauss, Ramanujan, Riemann, Grothendieck, Deligne, Wiles, Perelman, etc. obtained? Let me make precise that my question does not mean that I do not advocate the use computers as a powerful tool.