Dennis kembali ke ruang penelitian.
Matanya para anggota timnya tetap kosong seperti yang selama ini terlihat. Ia berdiri di depan papan tulis dan memandang mereka sejenak. Lalu, seolah telah membuat keputusan, ia memanggil mereka semua.
"Semua orang, silakan datang ke sini sebentar."
Mereka menggeser kursi mereka di lantai dan berhimpitan. Dennis mengeluarkan penutup spidol dengan sebuah klik dan berkata.
"Sedikit malu untuk mengaku, tapi kudapat jadi terjebak dalam cara berpikir yang kaku. Itu adalah salah satu sikap yang seorang matematikawan sama sekali sebaiernya jangan miliki."
Ia menggambar sebuah X besar di atas persamaan yang ditulis di tengah papan tulis. Mata timnya melebar lebar. Itu adalah tindakan yang menolak seluruh struktur logis yang selama lebih dari sebulan mereka pegang erat-erat.
"Pasti itu berasal dari anggapan bahwa persamaan yang seseorang garuk kasar di sebuah kafe tidak bisa benar. Dan di atas segalanya, itu juga konsep yang berada di atas Mesin Turing, sialnya. Aku yakin aku bukan satu-satunya yang kesulitan mempercayainya."
Kecemasan bahwa mereka mungkin akan kekal ketinggalan dari kompetisitor mereka di MIT untuk selamanya.
Mungkin itulah penyebab sebenarnya. Bahkan Quirin, seorang Profesor Diseringkat, tidak luntur dari hal itu. Ia yakin bahwa jika bisa mengekspose sebuah kelemahan dalam persamaan Seo-ha, ia bisa memulihkan kebanggaan yang terluka.
Wajah timnya menjadi serius.
"Kami sombar."
"Sekarang setelah kubayangkan kembali, aku juga punya motif kecilku sendiri. Karena memang itu Seo-ha. Aku kuduga aku pernah meyakinkan diri sendiri bahwa jika aku menemukan sebuah kontrakountercontoh, itu akan membuatku menjadi seorang matematikawan setingkat dengannya."
"Jadi apa yang kita lakukan sekarang, Dennis?"
Setelah prapraloksana hilang, segala sesuatu menjadi jelas. Segal sesuatu yang lebih dari sekadar keyakinan rasional muncul di mata Dennis, sejenis rasa gairah. Ia memandang mereka semua dan berkata,
"Mari kita asumsikan tujuh belas batu langkah yang Yu Seo-ha tinggalkan sudah lengkap. Dan pekerjaan kita hanyalah mengisi lumpur di antara mereka."
Mengucapkannya membuatnya merasa lega.
Setiap matematikawan tidak punya pilihan dan akhirnya harus mengakui Seo-ha. Ia belum menyadarinya, tapi menyangkal persamaannya justru memberatkannya selama ini.
Tidak semua orang berpikir sama.
"Hanya percaya.... Itukah matematika?"
Carter, calon doktor terunggah Harvard, mengangkat tangan dan menyuarakan keberatan.
Itu adalah keraguan yang layak bagi seorang matematikawan. Ia terlalu keras kepala secara alami, apalagi. Saat membaca satu makalah, ia selalu menelusuri referensinya ke belakang. Jika sesuatu tidak meyakinkannya, ia akan mengabaikannya bahkan jika itu datang dari pembimbingnya sendiri. Itulah justru hal yang membuat Carter menjadi seorang matematikawan yang luar biasi.
'Aku senang kamu ada di sini.'
Dengan adanya dia, tidak perlu khawatir apakah ada yang akan berteriak ketika tim ini tersesat.
Dennis tersenyum lembut.
"Bukan soal kepercayaan. Bukti sudah cukup menumpuk, bukan? Kita hanya perlu mengumpulkan semua upaya yang gagal selama lima minggu terakhir."
Beberapa hari kemudian.
Ruang seminar gabungan terlihat sedikit berbeda.
Partisi yang memisahkan Harvard dari MIT, pada suatu saat ditendang ke sebuah sudut.
Semua itu terjadi dua hari sebelumnya.
Ellie sedang memikirkan landasan matematis yang dapat memperkuat Teorema Langkah 1 Seo-ha. Lalu ia pun melirik papan di seberang dirinya. Carter dari Harvard sedang menangani kondisi batas dari fungsi kepadatan titik cabang.
'Hm? Kamu juga?'
Persamaannya menyerupai arah logika yang sedang dia kembangkan.
"...."
"...."
Mereka berdua saling melihat papan masing-masing, lalu tanpa kata pun menghabakan kursi dan bertemu di tengahnya.
Inilah awalnya.
"Ukuran ini divergen di sini. Bisa tidak ada kaitatannya dengan kondisi batas?"
"Benar. Ini adalah hal yang kami kerjakan. Lihat kepadatan titik cabang dari struktur fungtor ini. Polanya terlalu aneh untuk hanya dibuang semata-mata sebagai singularitas. Ia berulang pada interval tetap."
Tanpa ada yang memimpin, kedua tim akhirnya bercampur.
Segala-galanya mengenai kredit sudah silam di pikiran semua orang. Hugo mengamat-imati mereka sambil menggenggam lengan baju.
"Ini apa? Kapan semua orang mulai begitu akrab?"
Dennis telah berdiri di sampingnya."
"Jangan bilang kamu tidak mengincar ini. Itulah sebabnya kamu mengatakannya padaku bukan?"
Hugo menyeringkuk, berpura-pura tidak tahu.
"Bukan rahasia lagi di MIT. Kita pernah duduk di ruangan yang sama dengan Seo-ha, kan. Tentu saja, bagiiku juga tidak mudah menerimanya."
"Apa maksudmu?"
"Para matematikawan semua sudah terbiasa bekerja sendiri. Dulu kubilang ada sesuatu yang romantis tentang berjuang melawan masalah terbuka sendiri selama bertahun-tahun."
"Bukan itu ya? Apa salahnya?"
Hugo mengangguk.
"Tidak ada yang salah. Tapi setelahku pernah diajak tinggal bersama Seo-ha, pada suatu titik rasa romantis itu terasa sempit. Jika Columbus menemukan benua baru, bukanlah hal aneh jika para pelaut yang ambisius akan terjun ke sana."
"Ha ha ha!"
"Kamu sudah menemukan benua yang baru, lalu ada masalah jika semua orang tetap berpikir itu masih India. Padahal bisa jadi benua terbesar di bumi."
"Itukah caranya berkata. Aku mengerti apa yang kamu maksud tentang bekerja sendiri terasa sempit. Jika begitu, mungkin aku akan menjadi Francis Drake dari benua baru itu (Sir Francis Drake, pembajak laut dan penjelajah Inggris terkenal di abad ke-16)?"
"Siapa yang mencegahmu. Tidak akan mudah. Cukup banyak orang di MIT yang mempercayai Seo-ha seperti agama."
"Jika begaimana, kita hanya perlu jadi Para Ksatria Kolombus."
Hugo menekolong perutnya, menertawakan lepas.
"Seekor ksatria.... Itukah selera romantis yang cukup bagus untuk Harvard."
Semua orang ramai berbinar gembira. Semakin dalam mereka menyelidiki, semakin banyak bukti yang cocok dengan hipotesis itu, hampir mengjijik.
Carter masih belum melepalkan keraguannya, tapi tanpa sadar ia terlibat dalam hipotesis Seo-ha. Perlahan-lahan, keraguannya tidak lagi ditujukan untuk mendebat Seo-ha, melainkan untuk menemukan cara untuk menyempurnakan logikanya yang ia hentikan dengan bahasa matematika modern. Itu adalah momen ketika pemverifikasi paling teliti berubah menjadi pendukung paling gagah.
"Aku dapat! Cara untuk mengganti kompleksitas komputasi dengan Geometri Yu-Riemann!"
"Kami juga selesai. Kami dapatkan keadaan setegak terpusat dari ruang yang tak terhitung!"
Setiap kali seseorang melompat sorak, bukti pendukung lain dari hipotesis Seo-ha muncul di papan tulis.
Di tengah kegaduhan itu, Hugo merasakan getaran aneh di dalam dada.
Studi Newton, atau Darwinisme.
Pengaruh tertentu individu terhadap kemanusiaan begitu luas hingga namanya sendiri menjadi bidang studi.
Hugo mulai berpikir bahwa 'Seohaisme' mungkin tak bermula dari tempatnya, MIT, setelah semua.
* * *
"Seo-ha! Kamu lihat ini?"
Theo memecetak pintu kantor dan buru-buru masuk.
Seo-ha duduk di meja, membalas email dari adiknya. Adiknya sedang di Jepang untuk bertarung di IMO. Ia pun memandang Theo dengan ekspresi kusam.
"Apa ini?"
"Lihat saja."
Sebuah live streaming BBC sedang diputar di tablet.
Auditorium besar Pusat Ilmu Pengetahuan Harvard.
Dua pria berdiri berdampingan di depan podium.
Whitman, Dekan Fakultas Matematika MIT, dan Quirin Dusk, Profesor Diseringkat Matematika Harvard.
Click!
Click!
Seratus kursi tersedia. Separuhnya diisi oleh orang-orang dari komunitas matematik dan ilmu komputer, dan separuhnya lainnya oleh wartawan dari publikasi ilmiah seperti Science, Nature, dan BBC Science Focus.
Konferensi pers skala besar di sebuah universitas seperti Harvard adalah peristiwa yang langka. Jika dilihat dari masa ke masa, ini selalu dilakukan untuk hasil yang sangat berdampak, seperti pengumuman fusi dingin, penemuan boson Higgs, atau deteksi gelombang gravitasi.
Shutter wartawan tak pernah berhenti.
Beep -
Dennis menekan remote, dan topik muncul di layar.
u3010Laporan Interim Verifikasi Langkah 1 Hipotesis 13-Langkah Seo-hau3011
"Baru saja kami posting laporan ini ke arXiv. Konferensi ini untuk menjelaskan temuan dari makalah ini."
Setelah jeda sejenak, ia melanjutkan.
"Selama dua bulan, tim gabungan Harvard-MIT TF melakukan verifikasi yang ketat terhadap hipotesis Langkah 1 Seo-ha. Ini adalah hasilnya."
u3010Hasil Verifikasi Langkah 1: Tidak Ditemukan Kesalahan atau Kontrakountercontohu3011
Desisaur, desisaur.
Penonton menjadi gementar. Wartawan mengangkat tangan, masing-masing berusaha maju lebih dulu. Quirin memilih satu dengan lencana Nature di dada.
"Jadi kamu mengatakan hipotesis 13-Langkah Seo-ha itu benar?"
Quirin memberikan microfon kepada Whitman.
"Tentu saja, belum."
Ia tersenyum penuh makna.
"Hasil ini bu bukan pernyataan bahwa hipotesis Seo-ha benar. Verifikasi untuk dua belas langkah tersisa belum dimulai, dan kami sadar bahwa setiap langkah adalah masalah terbuka yang independen. Meskipun begitu, kami mengadakan konferensi ini karena merasa perlu untuk menyampaikan rumor yang beredara di kalangan akademisi."
Tangan lain terangkat. BBC Science Focus.
"Seperti yang kamu katakan, tidak menemukan kontrakountercontoh bukan berarti hipotesis itu pasti benar. Seberapa lebar perbedaannya menurmupu?"
Kali ini Quirin jalan ke depan untuk menjawab.
"Dalam usaha untuk mendebatnya, gambaran kondisi matematis yang diperlukan agar Langkah 1 benar sudah sebagian terungkap. Itu akan menjadi fondasi untuk pekerjaan bukti formal ke depan."
Bagian pers semakin ribut.
"Bukti formal?"
"Apa?"
"Apa yang tadi kata dosen?"
Click!
Click!
Mereka berdua tak berkata apa-apa lagi.
Belum pada tahap untuk berkata dengan pasti. Tapi nuansa itu cukup jelas. Wartawan bergegas mengeluarkan ponsel dan mengirimkan pesan ke editor mereka.
Beep.
"Bagaimana perasaanmu? Aku merasakan sejarah manusia akan berubah mulai dari hari ini."
Theo bertanya sambil mematikan layar tablet.
Seo-ha tersenyum tipis dan mengangguk kepalanya.
"Teori Turing telah memainkan perannya. Sekarang tinggahnya bagi umanitas untuk melangkah ke tahap berikutnya."
Ia bisa membiakkan kebanggaan, tapi Seo-ha masih selalu meliaga ke depan.
Theo memandang wajah Seo-ha, lalu berkata seolah-olah ragu.
"Bagaimana perasaanmu akhir-akhir ini?"
Seo-ha baru saja kembali dari cuti panjang.
Secara resmi itu hadiah atas pengembangan Utopia yang sukses, tapi sebenarnya hal lain.
Semenjak kembali dari kafe itu, kondisinya mulai menurun secara signifikan.
Seo-ha menoleh saat menjawab.
"Saya sangat baik. Rumah sakit bilang tidak ada masalah, jadi tidak perlu khawatir sekangkang kepanikahan."
"Itulah yang membuatku khawatir."
Theo menegangkan.
Seo-ha tidak sanggup memberitahu bahwa ia yang menyebabkannya.
Hari itu, Seo-ha telah begadang larut malam di rumah, bertarung melawan persamaan.
Dari Langkah 1 hingga 7, ia melihat jalan yang jelas. Membangun teori dan membuktikan setiap lemma akan membutuhkan banyak usaha, tapi sepertinya tidak mustahil.
Masalahnya ada di langkah setelahnya.
Jembatan yang menghubungkan Langkah 7 ke Langkah 8. Begitu pikirannya sampai ke sana, suatu struktur mulai terbuka di dalam kepalanya.
'Ada yang berbeda?'
Komentar Chapter (0)
Login buat ikut berkomentar.
Belum ada komentar di chapter ini. Jadi yang pertama!