Hasil mereka menunjukkan pentingnya tidak menganggap sesuatu sebagai sesuatu yang pasti, kata Noga Alon, seorang matematikawan di Princeton. “Kita harus curiga, bahkan tentang hal-hal yang secara intuitif sangat mungkin benar.” Gladkov, Pak, dan Zimin menemukan banyak contoh graf kecil yang memenuhi dugaan, tetapi pada akhirnya, hal itu tidak mencerminkan graf yang lebih rumit, kurang intuitif yang bisa mereka bangun ketika diberi jumlah vertex dan tepi yang cukup. Sebagai Hollom mengatakan, “Apakah kita benar-benar mengerti semua hal ini sebaik yang kita pikirkan?” Para matematikawan masih percaya pernyataan fisika tentang lokasi yang terhubung dalam zat padat yang mengilhami dugaan ranjang bertingkat. Tetapi mereka perlu menemukan cara lain untuk membuktikannya. Sementara itu, Pak mengatakan, jelas bahwa para matematikawan perlu terlibat dalam diskusi aktif tentang sifat bukti matematika. Dia dan rekan-rekannya pada akhirnya tidak perlu bergantung pada metode komputasi kontroversial; mereka bisa membantah dugaan dengan kepastian total. Tetapi saat garis serangan berbasis komputer dan AI menjadi lebih umum dalam penelitian matematika, beberapa matematikawan sedang mendebatkan apakah norma bidang itu akhirnya harus berubah. “Ini adalah pertanyaan filosofis,” kata Alon. “Bagaimana kita melihat bukti yang hanya benar dengan probabilitas tinggi?” “Saya pikir masa depan matematika akan menerima bukti probabilistik seperti ini,” kata Doron Zeilberger, seorang matematikawan di Universitas Rutgers yang dikenal karena mengakui komputernya sebagai coauthor pada banyak makalahnya. “Dalam 50 tahun, atau mungkin kurang, orang akan memiliki sikap baru.” Orang lain bertanya-tanya jika masa depan seperti itu mengancam sesuatu yang penting. “Mungkin bukti probabilistik akan memberi Anda pemahaman atau intuisi yang kurang tentang apa yang sebenarnya terjadi,” kata Alon. Pak telah menyarankan agar jurnal terpisah dibuat untuk hasil seperti ini karena mereka menjadi lebih umum, sehingga nilai mereka tidak hilang bagi para matematikawan. Tetapi tujuan utamanya adalah membuka pembicaraan. “Tidak ada jawaban yang benar,” katanya. “Saya ingin komunitas merenungkan apakah hasil berikutnya dari jenis ini akan dihitung.” Saat teknologi terus merambah dan mengubah matematika, pertanyaan ini hanya akan menjadi lebih mendesak. Cerita asli dicetak ulang dengan izin dari Quanta Magazine, sebuah publikasi independen secara editorial dari Simons Foundation yang misinya adalah meningkatkan pemahaman publik tentang sains dengan meliput perkembangan penelitian dan tren dalam matematika dan ilmu fisika dan kehidupan.
