Tolong jelaskan mengenai Bukti bantuan komputer dari Bukti matematik dalam bahasa melayu

Sehingga kurun ke-20, sebarang bukti dianggap secara prinsipnya boleh diperiksa oleh ahli matematik yang cekap untuk menentukan kesahihannya. . Bagaimanapun, sekarang komputer digunakan untuk membuktikan teorem dan juga untuk menyelesaikan pengiraan yang terlalu panjang untuk manusia lakukan; bukti pertama untuk teorem empat warna adalah contoh bukti bantuan komputer. Beberapa ahli matematik mengambil berat akan kemungkinan ralat di dalam program komputer atau ralat masa jalanan dalam pengiraannya, menyebabkan kesahihan bukti bantuan komputer ini boleh dipersoalkan. Realitinya, kebarangkalian ralat mentaksahkan bukti bantuan komputerr boleh dikurangkan dengan memasukkan semak lawahan dan semak sendiri dalam pengiraan, dan dengan membangunkan beberapa pendekatan dan program bebas.