Bab Seratus Tiga Puluh: Estetika Matematika (Bab Tambahan untuk Sang Pemimpin Kemudi)

"Hei, menurutmu mengapa Profesor Qiao tiba-tiba meminta kita menghentikan pekerjaan mencari kesalahan itu? Padahal aku sedang asyik-asyiknya mengerjakan itu!" Tepat saat Lu Qiuhe berencana untuk kembali tinggal di kediaman yang disediakan oleh Universitas Jingshi, pihak Akademisi Qiao pun mulai melakukan verifikasi terhadap naskah pidatonya.

"Itu karena Menteri Zhang sudah turun tangan. Sekalian membantu Universitas Jingshi melampiaskan kekesalan, serta memberi pelajaran pada Profesor Feng itu agar tidak ada yang berani mencari masalah saat seminar nanti!" seseorang yang melihat dengan jeli berkomentar, "Sekarang tujuannya sudah tercapai, kita juga sudah mengumpulkan banyak artikel. Nanti kalau sudah diterbitkan, hasilnya akan terlihat dengan sendirinya, jadi tidak perlu diteruskan lagi!"

"Tapi arah yang diberikan sekarang tidak sama dengan arah penelitian Akademisi Qiao sebelumnya, bukan? Sepertinya kita harus menggunakan komputer super untuk verifikasi. Dengan waktu yang begitu mendesak, ini sulit dilakukan!" Wang Haoyu yang berbicara tadi masih memikirkan alasannya.

Sejarah penggunaan komputer dalam penelitian matematika sudah berlangsung lama. Teorema Empat Warna yang terkenal itu akhirnya terpecahkan berkat bantuan komputer.

Teorema ini secara sederhana dapat dijelaskan: setiap peta bidang dapat diwarnai hanya dengan empat warna, tanpa ada dua wilayah yang bersebelahan memiliki warna yang sama.

Terdengar sederhana, bukan? Ketika dugaan ini pertama kali diajukan, semua orang pun berpikir demikian. Para matematikawan yang angkuh merasa enggan membuang tenaga untuk masalah yang begitu sederhana, sampai Minkowski, tokoh penting dari mazhab Gottingen, guru Einstein, dan tokoh yang memberikan kontribusi luar biasa pada teori relativitas umum, memperhatikan masalah ini.

Suatu kali di kelas topologi, Minkowski dengan sombong menyatakan kepada para mahasiswanya, "Alasan utama mengapa teorema ini belum terbukti adalah karena sejauh ini hanya matematikawan kelas tiga yang menghabiskan waktu di atasnya. Sekarang, saya akan membuktikannya."

Lalu..., saat kelas berakhir, pembuktiannya belum selesai. Sampai kelas berikutnya, Minkowski terus mencoba membuktikannya, namun tetap saja tidak berhasil.

Beberapa minggu berlalu... Pada suatu pagi yang kelabu, Minkowski melangkah masuk ke ruang kelas. Saat itu, kilatan petir menyambar di langit dan guntur menggelegar. Dengan sangat serius ia berkata, "Tuhan telah murka karena kesombonganku, pembuktianku tidak lengkap..."

Pada tahun 1942, Lefschetz memberikan presentasi di Universitas Harvard. Birkhoff, sahabatnya, bertanya setelah seminar selesai apakah ada hal menarik di Universitas Princeton. Lefschetz mengatakan ada seseorang yang baru saja membuktikan dugaan empat warna. Birkhoff sangat tidak percaya dan berkata jika itu benar, dia akan merangkak dengan tangan dan lututnya menuju gedung departemen matematika Princeton.

Selama beberapa dekade, pandangan dunia matematika terhadap Teorema Empat Warna berubah drastis. Hingga pada tahun 1976, matematikawan Amerika, Appel dan Haken, menggunakan dua komputer elektronik yang berbeda di Universitas Illinois, menghabiskan 1.200 jam dan melakukan 10 miliar penilaian untuk akhirnya membuktikan Teorema Empat Warna dan menggemparkan dunia.

Dengan keberhasilan kasus tersebut, para matematikawan di kemudian hari mulai menggunakan komputer untuk memecahkan berbagai masalah. Masalah yang diberikan Akademisi Qiao hari ini juga membutuhkan bantuan komputer.

"Bagaimana menurutmu tentang masalah ini? Bisakah kita membuktikannya?" Wang Jiayu bertanya lagi karena melihat rekannya terdiam cukup lama.

"Apakah bisa kita buktikan atau tidak, aku tidak tahu, tapi aku yakin masalah ini benar!" jawab kakak kelasnya, Dong Jianye, dengan penuh keyakinan.

"Kau saja tidak tahu apakah ini bisa dibuktikan, kenapa berani yakin kalau ini benar?" Wang Jiayu bingung.

"Karena ini indah!" Dong Jianye menunjukkan raut wajah terpesona, menunjuk rumus pada soal tersebut, "Lihat rumus ini, begitu alami dan mengalir. Setiap bagiannya memancarkan pesona unik matematika. Bagaimana mungkin rumus seindah ini bisa salah?!"

"Jika sebuah rumus salah, pasti akan terasa janggal, seperti... seperti melihat plot film yang tidak logis dan membuat kita merasa tidak nyaman!" Dong Jianye masih terbuai dengan keindahan rumus tersebut, "Dan saat pertama kali melihat rumus ini, aku tidak menemukan sedikit pun keanehan. Jadi, ini pasti benar! Kalaupun kita tidak bisa membuktikannya, itu karena kemampuan kita yang belum sampai, bukan karena rumusnya yang bermasalah!"

Alasan yang sangat kuat! Wang Jiayu tidak bisa berkata apa-apa lagi. Sudah banyak kasus di mana ilmuwan menilai sesuatu dari "wajahnya". Entah sudah berapa banyak hasil penelitian yang ditolak hanya karena kurang estetis. Beberapa yang sempat "dioperasi plastik" atau dimodifikasi oleh generasi penerus akhirnya diterima, sementara yang lain justru ditemukan celahnya dan terbukti salah.

Dong Jianye memiliki bakat alami dalam matematika. Ia mampu menggunakan intuisinya untuk menemukan keindahan unik dalam rumus matematika. Rumus yang menurutnya indah biasanya akan terbukti benar, sedangkan rumus yang dianggapnya "jelek" biasanya memiliki kesalahan logika yang fatal.

Bakat seperti ini membuat Wang Jiayu sangat iri. Dengan intuisi sebagai penunjuk arah, betapa banyak waktu yang bisa dihemat! Padahal, ia sendiri secara pribadi sudah mempelajari berkali-kali rumus dan teorema klasik dalam sejarah matematika, namun tidak mendapatkan hasil apa pun.

"Baiklah, aku akan pergi mengisi formulir pengajuan. Entah harus menunggu sampai kapan!" Komputer super adalah sumber daya langka di mana pun. Tentu tidak bisa digunakan sesuka hati, harus mengisi formulir pengajuan terlebih dahulu. Kemudian, departemen terkait akan mempertimbangkan alokasi waktu berdasarkan waktu pengajuan, latar belakang pemohon, dan urgensi masalah.

"Apakah persiapan untuk pengujian di mesin sudah siap?" Sambil berbicara, Akademisi Qiao terburu-buru mendorong pintu dan masuk. Waktu seminar semakin dekat. Beberapa kawan lama berencana datang lebih awal untuk berkumpul dengannya. Jika pembicara belum diputuskan, tentu akan terlambat.

"Sudah siap, saya sedang mengisi formulir pengajuan!" jawab Wang Jiayu dengan cepat.

"Hmm!" Akademisi Qiao mengangguk, lalu mengalihkan pandangannya ke arah Dong Jianye, "Bagaimana menurutmu tentang masalah ini?" Ia sangat memahami bakat murid kesayangannya itu. Dulu ia hanya menganggapnya sebagai hiburan, namun di saat kritis seperti sekarang, ia berharap muridnya bisa membawa kabar baik.

"Jika Teorema Pythagoras adalah kecantikan seperti Helen, maka rumus ini bisa disandingkan dengan kelas Audrey Hepburn!" Dong Jianye memuji dengan suara yang terdengar seperti sedang melantunkan syair.

Teorema Pythagoras, atau teorema segitiga siku-siku, adalah rumus dengan makna luar biasa yang menempati sepuluh besar dalam sejarah matematika. Mendengar Dong Jianye membandingkan rumus ini dengan Helen dan Hepburn, Akademisi Qiao pun terkejut! Murid kesayangannya ini ternyata sangat menjunjung tinggi rumus tersebut?

Karena urgensi untuk menyelesaikan masalah dan kepercayaan pada bakat muridnya, Akademisi Qiao mengetukkan jarinya di atas formulir pengajuan beberapa kali, lalu mengambil keputusan, "Aku sendiri yang akan mengantarkan ini, lihat apakah mereka bisa menjadwalkannya lebih awal untuk kita!"