You may have not understood at all what you have read.
Your quotation is attributed in the article to Bill Tutte, as his response to what shall do a mathematician when seeing computer-made mathematical proofs, “Be of good cheer. You can continue in the same general line of research" and that the first computer-made proof "is the tip of the iceberg, the thin end of the wedge and the first cuckoo of Spring".
For your information, in some European countries hearing a cuckoo was a traditional sign that the spring has come, in the ancient times when there were no meteorological prognoses, so like the other 2 comparisons it is appropriate for the first step of a progression.
I see nothing disgusting in this. It is just good advice that one should accept that computer-made proofs are here to stay and there will be more and more of them.
Your quotation is attributed in the article to Bill Tutte, as his response to what shall do a mathematician when seeing computer-made mathematical proofs, “Be of good cheer. You can continue in the same general line of research" and that the first computer-made proof "is the tip of the iceberg, the thin end of the wedge and the first cuckoo of Spring".
For your information, in some European countries hearing a cuckoo was a traditional sign that the spring has come, in the ancient times when there were no meteorological prognoses, so like the other 2 comparisons it is appropriate for the first step of a progression.
I see nothing disgusting in this. It is just good advice that one should accept that computer-made proofs are here to stay and there will be more and more of them.