Another argument against computer-aided proofs is that they lack mathematical elegance—that they provide no insights or new and useful concepts.
Друг аргумент против компјутерските асистирани докази е дека тие немаат математичка елеганција-кои ги обезбедуваат, немаат увид за нови корисни концепти.