Bab 46

Seo-ha sedang dalam masalah.

'Ada apa ini?'

Bip, bip.

Suara-suara mekanis terdengar.

Ia melirik ke samping dan melihat ibunya duduk di sana. Sulit ditebak apakah ibunya senang ia sudah bangun atau justru marah.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

"Oppa, kamu sudah bangun!"

Seo-eun, dengan mata bengkak, menggenggam tangannya.

Baru saat itu ia sadar.

'Ah! Aku sudah melakukannya.'

Ingatannya tentang menyelesaikan pembuktian itu masih jelas.

Setelah itu, kosong.

Melihat situasinya, ia pasti pingsan.

Ia menoleh ke sekeliling ruangan, ternyata rapi dan luas.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Dinding berlapis kayu tampak mewah. Di samping tempat tidur, ada sofa kecil dan bahkan tempat tidur untuk penunggu.

'Ini seperti kamar rumah sakit yang mahal....'

Saat ia mengalihkan pandangan, Woo-hyun berdiri di dekat pintu dengan punggung bersandar ke dinding.

'Ah, guru.... Tetap saja, aku harus segera keluar.'⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Ketika Seo-ha mencoba duduk, Woo-hyun mendekat dan menghentikannya.

"Istirahatlah beberapa hari. Untungnya, kata mereka tidak ada yang serius. Kalau makan dan istirahat yang cukup, kamu akan pulih."

"Ya...."

Seo-ha menundukkan kepala seolah tahu dosa yang telah ia perbuat.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Jika semuanya berjalan sesuai rencana, ia akan menyelesaikan pembuktian pada hari Minggu dan menghapus semua jejaknya sebelum hari Senin. Tapi ia gagal melakukannya.

Ia menyalahkan diri sendiri karena telah menetapkan jadwal yang begitu ketat. Karena itu, ia akhirnya membuat banyak orang khawatir.

Ia dimarahi habis-habisan selama beberapa hari berikutnya, tapi hidup di rumah sakit tidak terlalu buruk.

Ketika teman-teman sekelas mengatakan ingin menjenguk, Seo-ha memohon agar mereka jangan, mencoba mencegah mereka. Bukannya ia sakit parah, ia hanya pingsan karena dehidrasi. Ia pikir semua orang terlalu berlebihan.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Ia berbagi makanan rumah sakit dengan adik perempuannya, dan pada malam hari, mereka diam-diam memesan camilan.

Mereka berdua bersenang-senang memainkan semua permainan yang tidak bisa mereka mainkan.

'Kepalaku tidak sakit lagi. Aku merasa kuat kembali.'

Tepat ketika ia hendak mengangkat topik tentang pulang, Woo-hyun datang berkunjung. Ekspresinya lebih menakutkan dari biasanya.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

"Seo-ha."

"Ya?"

"Apakah kamu telah mengerjakan Teorema Empat Warna sejak saat itu?"

Bahkan pada hari mereka pertama bertemu, penelitian Seo-ha sudah cukup maju.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Itu berarti setidaknya tujuh tahun.

"Ya."

Woo-hyun marah.

Rasa bersalah karena mungkin telah tanpa sengaja membawa seorang anak yang hidup bahagia ke jalan matematika, dan penyesalan karena tidak menghentikan Seo-ha yang telah bergulat dengan masalah sulit selama bertahun-tahun, keduanya menyerbu dirinya secara bersamaan.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Melihat ekspresi serius Woo-hyun, wajah Seo-ha juga menegang.

"Kenapa kamu begitu ingin menyelesaikannya?"

Sudah tujuh tahun penuh.

Woo-hyun tidak bisa memahami obsesi Seo-ha terhadap Teorema Empat Warna. Masalah itu sudah terbukti, apakah benar-benar perlu sampai segitunya?⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Seo-ha menatap Woo-hyun dengan tajam.

"Guru."

"Ya."

"Bahkan jika menghabiskan seumur hidupku, aku akan menyelesaikan Teorema Empat Warna."⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Seo-ha memang punya sisi seperti ini.

Begitu ia menetapkan tujuan, tidak peduli seberapa nekat kelihatannya, ia tidak pernah mundur.

"Jadi sebenarnya kenapa?"

"Jika aku tidak bisa menyelesaikannya, maka aku tidak akan bisa mencapai apa pun sama sekali."⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

"Apa?"

Jawaban tak terduga itu memberi Woo-hyun perasaan gelisah yang aneh.

"Newton, pada usia dua puluh tiga, meletakkan dasar-dasar kalkulus, optik, dan gravitasi universal. Pascal membuktikan teorema irisan kerucut pada usia enam belas dan menemukan kalkulator pada usia sembilan belas.

Gauss, pada usia dua puluh, sudah membuktikan teorema dasar aljabar. Galois mendirikan teori grup di usia belasan, dan Abel meninggal pada usia dua puluh enam, tapi bahkan sekarang, setiap matematikawan mengingat namanya."⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Woo-hyun menggelengkan kepala.

Itu era yang berbeda.

Bagaimanapun ia memikirkannya, kata-kata Seo-ha tidak rasional.

"Kamu tidak bisa membandingkan sekarang dengan dulu secara langsung. Wiles menyelesaikan Teorema Terakhir Fermat, tapi itu tidak membuatnya menjadi matematikawan yang lebih baik dari Euler."⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Euler juga pernah mencoba Teorema Terakhir Fermat tapi tidak pernah berhasil.

Namun, itu bukan karena Euler kekurangan sesuatu, itu hanya masalah yang tidak bisa diselesaikan sampai teori matematika baru muncul.

Woo-hyun menarik napas dan menatap mata Seo-ha.

"Matematika itu maraton, bukan sprint. Beberapa masalah tidak akan terselesaikan bahkan jika kamu menghabiskan seluruh hidupmu untuknya. Karena ada pencapaian yang sesuai untuk setiap era.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Kamu terlalu nekat. Tidak hanya bertahan pada Teorema Empat Warna selama tujuh tahun, tapi juga mencoba menyelesaikannya hanya dalam beberapa hari seperti lari 100 meter."

Woo-hyun secara diam-diam mengkhawatirkan kecenderungan matematis Seo-ha.

Ini bukan lagi era di mana, seperti di masa lalu, seseorang bisa duduk sendirian di meja dengan hanya kertas dan pena dan mencapai prestasi yang mengguncang dunia.

Kemampuan paling esensial yang dibutuhkan matematikawan modern adalah kolaborasi. Sekarang sudah menjadi norma bagi puluhan orang untuk membentuk tim dan mendekati satu masalah dari berbagai sudut.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Jika bukan begitu, kenapa Elijah Cronen, yang dikenal sebagai pikiran terbesar umat manusia, repot-repot mengumpulkan tim?

Tapi anak ini telah menggali masalah sulit sendirian selama bertahun-tahun, dan pada akhirnya, berhasil.

Namun, apakah ia akan seberuntung itu lagi lain kali? Woo-hyun ragu.

"Tentu, semua orang itu mencapai apa yang sesuai dengan era mereka. Jadi yang kumaksud adalah, aku juga ingin melakukan sesuatu yang sesuai dengan zamanku."⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Woo-hyun meninggikan suaranya karena frustrasi.

"Kenapa kamu begitu keras kepala! Bertahan pada masalah sulit sendirian adalah sesuatu yang hanya dilakukan orang bodoh. Berjanjilah kamu tidak akan melakukan itu lagi. Itu hanya membuang waktumu yang berharga."

Woo-hyun bisa melihatnya.

Masa depan Seo-ha yang mencapai prestasi besar.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Tapi matematika modern terlalu kompleks dan terpecah-pecah untuk ditangani sendirian.

Dengan laju ini, bakat briliannya mungkin akan hilang tanpa pernah mencapai potensi penuhnya.

"Guru."

"Aku mendengarkan."

"Jika aku benar-benar jenius seperti yang kau katakan, orang yang muncul sekali dalam seabad."

Seo-ha menatap lurus ke arah Woo-hyun.

"Maka tidak mungkin aku gagal menyelesaikan sesuatu seperti Teorema Empat Warna, kan?"

Woo-hyun tidak bisa berkata apa-apa.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Itu pernyataan yang sangat arogan, tapi keluar dari mulut Seo-ha, anehnya memiliki kekuatan persuasif.

Begitulah cara Seo-ha melihatnya.

Ia tidak menemukan hukum alam semesta seperti Newton atau meletakkan dasar-dasar matematika seperti Gauss. Ini masalah yang jauh lebih sederhana.

"Jadi Teorema Empat Warna adalah masalah yang kugunakan untuk menguji apakah aku benar-benar layak berdiri di samping tokoh-tokoh besar sejarah. Jika aku tidak bisa melakukannya, aku siap melepaskan ekspektasi yang kumiliki untuk diriku sendiri.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Karena Newton atau Gauss pasti akan menyelesaikannya."

"Ja-jadi..."

Wajah Woo-hyun penuh kebingungan.

"Guru salah paham.

Aku tidak berniat bertahan pada gaya matematika abad pertengahan. Aku akan menerima semua bantuan yang kubutuhkan. Jika aku butuh teknologi, aku akan menggunakannya. Jika aku butuh tim, aku akan berkolaborasi dengan orang lain."

"Hah?"

"Itu buang-buang waktu, kan? Kenapa aku harus melakukan semuanya sendiri? Hanya ada satu kasus di mana penelitian harus dilakukan sendirian. Ketika itu cara yang paling efisien."

Wajah Woo-hyun memerah.

Ia malu karena baru saja berbicara begitu bersemangat.

"Lupakan semua yang kukatakan hari ini."

Woo-hyun mengusap wajahnya dengan telapak tangan.

"Ya!"

Seo-ha menjawab dengan senyum nakal. Merasa malu tanpa alasan, Woo-hyun cepat mengganti topik.

"Ah! Perhimpunan Matematika Korea berencana memverifikasi pembuktian yang kamu kerjakan. Maukah kamu mempertimbangkan untuk membantu? Jika kamu pergi dan menjelaskannya sendiri, prosesnya akan jauh lebih cepat."

Solusi dari masalah sulit harus melalui beberapa putaran verifikasi. Yang terjadi sekarang hanyalah tahap pertama, dimaksudkan untuk menyaring kesalahan yang tidak masuk akal.

Woo-hyun pikir itu proposal yang bagus, tapi respons Seo-ha kurang antusias.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

"Mereka memverifikasinya? Kurasa itu tidak perlu untukku...."

"Hah? Kenapa tidak?"

"Aku tahu aku menyelesaikannya dengan sempurna. Aku telah menuliskan setiap langkah yang diperlukan. Jadi jika ada keraguan, bukankah itu tugas mereka untuk menyelesaikannya?"

Tidak ada kebencian di wajahnya, tapi entah kenapa terasa menjengkelkan.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Woo-hyun menutup pintu kamar rumah sakit dan melangkah ke lorong.

Dung, dung.

Saat ia merasa sudah cukup jauh dari Seo-ha, ia meledak dalam tawa yang ia tahan.

"Hahaha!"

Itu tawa tidak percaya.

Seo-ha tidak memiliki sedikit pun keraguan tentang pembuktiannya.

Sebagian besar peneliti akan cemas, bertanya-tanya apakah hasil mereka akan diterima. Tapi anak itu telah mengesampingkan seluruh proses verifikasi seolah-olah tidak ada hubungannya dengan dirinya dan dengan tenang menyerahkannya kepada orang lain.

Bahkan pengakuan dari komunitas akademik mungkin tidak berarti banyak baginya.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Sama seperti bagaimana Newton tidak mempublikasikan karyanya tentang kalkulus selama lebih dari tiga puluh tahun.

"Aku tidak bisa memahaminya, bukan sebagai manusia biasa sepertiku."

Woo-hyun menggelengkan kepala dan bergumam pada dirinya sendiri.

***

Ruang konferensi Perhimpunan Matematika Korea,

Para profesor yang telah melakukan putaran pertama verifikasi sedang menyusun notulen rapat.

"Itu tidak terduga. Logikanya lebih solid dari yang kuperkirakan."

Seorang profesor berbicara dengan kagum.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

"Aku sebenarnya berdebat apakah kami bahkan perlu menganggap ini serius, mengingat dia hanya tiga belas tahun. Tapi aku senang aku datang."

Awalnya, mereka skeptis.

Pembuktian baru Teorema Empat Warna yang ditulis oleh seorang siswa SMA?

Mereka mengharapkan tumpukan kesalahan sederhana dan pengembangan yang belum matang.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Tapi mereka salah.

Alur logikanya sangat teliti, dan simbol-simbol yang didefinisikan dengan konsep baru menyatu secara alami, seolah-olah mereka selalu menjadi bagian dari kerangka yang sudah mapan.

Hampir tidak ada cacat atau lompatan logika yang akan segera disadari oleh seorang matematikawan.

Mereka terkesan sekaligus gelisah.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Jaringan logika yang terjalin di seluruh kombinatorik, teori graf, dan teori komputasi tidak dapat dinilai menggunakan standar satu bidang pun.

Pada suatu titik, para profesor mulai bertukar pandang dan menggelengkan kepala.

"Kami tidak bisa mencapai kesimpulan akhir pada level kami."

Seseorang akhirnya berbicara.

Meskipun merupakan peneliti yang terampil, tak satu pun dari mereka dapat sepenuhnya memahami pembuktian Seo-ha atau dengan yakin mengatakan apakah itu benar atau salah.

Begitu luas dan asingnya pendekatan itu.

Inilah kesimpulan dari penyelidikan pertama mereka:

[Tidak ditemukan kesalahan kritis. Rekomendasi untuk mengadakan panel verifikasi internasional.]⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

"Baiklah. Mari kita kirim email segera. Kita juga perlu meminta kerja sama dari perkumpulan akademik luar negeri. Karena pembuktiannya mencakup beberapa teori, kita akan membutuhkan ahli dari berbagai bidang."

Klik.

[Ringkasan: Draf pembuktian baru Teorema Empat Warna yang dipresentasikan oleh seorang siswa dari Sekolah Khusus Anak Berbakat Korea. Tidak ditemukan kesalahan yang jelas pada verifikasi pertama. Direkomendasikan kerja sama internasional.]

Email itu dengan cepat menyebar ke matematikawan di seluruh dunia.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

***

Pukul 2 pagi Waktu Timur, AS,

Elijah Cronen membuka laptopnya di laboratorium penelitian yang gelap.

"Teorema Empat Warna?"

Itu teori yang sudah lama tidak ia perhatikan. Karena pembuktiannya pada dasarnya sudah selesai, ia pikir tidak ada alasan untuk meninjau ulang....

"Pendekatan baru? Tanpa menggunakan komputer?"

Itu selalu menjadi pembuktian yang meninggalkan rasa pahit. Jika mungkin, ia ingin membalikkan semuanya.

Tapi ada terlalu banyak hal yang harus ia lakukan.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Klik.

Ia membuka email dan perlahan membaca ringkasan terlampir.

'Reduksi aturan lokal melalui teori automata, pengkodean batas?'

Alisnya berkedut.

Dengan intuisi matematisnya yang luar biasa, Cronen mampu memvisualisasikan bagaimana pembuktian ini akan berkembang dalam pikirannya.

Setelah berpikir sejenak, ia mengelus dagunya.

"Ini mungkin benar-benar bisa dilakukan."

Elijah memutar kursinya dan menatap peta dunia yang tergantung di dinding.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Sudah larut, tapi jantungnya mulai berdetak aneh.

Ia membuka email dan mulai menulis balasan.

[Mohon kirim materi lengkapnya. Saya akan berpartisipasi dalam hal ini. Saya akan menghubungi para ahli dari masing-masing bidang terkait secara pribadi.]

Beberapa hari kemudian, email atas nama Cronen dikirim ke otoritas terkemuka di seluruh dunia.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠

Seorang ahli kombinatorik di MIT di AS, seorang topolog dari ENS di Prancis, seorang ahli teori kompleksitas komputasi dari Universitas Tokyo di Jepang, seorang spesialis teori graf dari Universitas Bonn di Jerman.

Dan puluhan peneliti lain yang menyatakan minat untuk bergabung....

Mereka yang melihat nama Elijah Cronen mengangguk dengan khidmat.

Tak satu pun dari mereka bisa menganggap enteng permintaannya.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌​‌‌‌‌‌‌‌​‌​​‌‌​‌‌‌​​‌‌​‌​⁠