'Bahasa Alien' yang Membingungkan Para Matematikawan selama Puluhan Tahun Akhirnya Bisa Dipecahkan

Malang, WISATA – Bayangkan skenario ini: Para ilmuwan telah menyadap transmisi dari ras alien. Jelas bahwa pesan tersebut berasal dari makhluk cerdas, tetapi semua hal tentangnya baik itu sintaksis, tata bahasa, konteks,  tidak dapat dipahami oleh kita, penduduk Bumi.

Begitulah perasaan sebagian besar matematikawan tentang Teori Teichmüller Interuniversal (IUT), sebuah pembuktian yang diperkenalkan oleh matematikawan Shinichi Mochizuki lebih dari satu dekade lalu dalam upaya untuk memecahkan dugaan ABC yang terkenal, salah satu masalah paling terkenal yang belum terpecahkan dalam teori bilangan, yang membahas tentang jumlah bilangan prima dan memiliki implikasi pada banyak dugaan lainnya.

IUT sangat sedikit kemiripannya dengan cabang matematika lain sehingga dijuluki 'bahasa alien.' Hanya sekitar 20 orang di dunia yang berhasil memahaminya sampai tingkat tertentu. Namun kini, seorang insinyur berusia 28 tahun bernama Zhou Zhongpeng telah membuat kemajuan signifikan dalam mengungkap misteri IUT.

Mochizuki mengembangkan IUT pada awal tahun 2000-an dan menerbitkannya dalam serangkaian empat cetakan awal pada tahun 2012. Buktinya lebih dari 2.000 halaman dan Mochizuki mengklaim bahwa bukti tersebut menawarkan solusi untuk dugaan ABC. Jika terbukti, dugaan tersebut dapat membantu menjelaskan teka-teki matematika utama lainnya, seperti Teorema Terakhir Fermat--teorema berusia hampir 400 tahun yang menyatakan tidak ada tiga bilangan bulat positif a, b dan c yang memenuhi persamaan an + bn = cn untuk setiap nilai bilangan bulat n yang lebih besar dari 2. Teorema tersebut pertama kali dipecahkan oleh matematikawan Andrew Wiles pada tahun 1995, tetapi kerangka kerja baru Zhou dapat membuktikan teorema tersebut dalam langkah yang jauh lebih sedikit.

Akan tetapi, IUT menggunakan konsep dan simbol yang sepenuhnya unik di dunia matematika. Dengan kata lain, Mochizuki pada dasarnya menciptakan bahasa matematikanya sendiri dan bahasa itu membingungkan banyak matematikawan terkemuka dunia. Beberapa orang pemberani, termasuk matematikawan Ivan Fesenko, telah mengupas sebagian dari bahasa itu dan memberikan sedikit kepercayaan pada klaim Mochizuki. Namun, meskipun telah ada selama lebih dari satu dekade, IUT belum sepenuhnya diverifikasi oleh tinjauan sejawat karena sangat sulit dipahami.

Enter Zhou. Ia memiliki latar belakang matematika, pernah mempelajari teori grafik sebagai kandidat doktor, tetapi ia akhirnya berhenti sebelum menyelesaikan gelarnya untuk bekerja sebagai insinyur perangkat lunak. Namun, hal ini tidak mengurangi minatnya pada matematika murni. Ia menjadi terobsesi dengan IUT, mempelajari teori tersebut di waktu luangnya meskipun ia memiliki minggu kerja yang sibuk. Selama lima bulan, ia merinci beberapa penyempurnaan dan aplikasi baru dalam sebuah makalah, yang ia kirimkan kepada Mochizuki dan Fesenko. Karya tersebut, jika benar, membuktikan sebagian besar kasus Teorema Terakhir Fermat yang digeneralisasi, dengan menggunakan prinsip-prinsip dari IUT.

Para matematikawan itu terkesan, Fesenko bahkan menawarkan untuk menerbangkannya ke Universitas Westlake di Tiongkok, tempat ia bekerja. Zhou menerima tawaran itu dan saat ini bekerja di bawah bimbingan Fesenko untuk mengembangkan pembuktian lebih lanjut. Ada banyak sekali aplikasi potensial dari karya ini, mulai dari kriptografi dan komputasi kuantum hingga pemahaman yang lebih baik tentang ruang-waktu, tetapi hanya jika dapat dipahami oleh peneliti lain.

Dan beberapa bagian dari IUT masih belum dapat dipahami. Mungkin butuh waktu bertahun-tahun sebelum seseorang dapat memecahkannya sepenuhnya, jika memang berhasil. "Makalah-makalah itu didasarkan pada penelitian para pendahulu, karya saya hanya menghasilkan beberapa inovasi dan eksplorasi kecil, dan saya berharap dapat memberikan kontribusi yang cukup besar pada bidang yang relevan," kata Zhou dalam sebuah unggahan di media sosial