ChristianChan/ShutterstockIni adalah masalah matematika yang telah gagal dilakukan oleh para ilmuwan terkenal selama beberapa dekade.
Dan suatu pagi, saat sedang menggosok gigi, seorang Jerman tiba-tiba teringat akan jawaban dari masalah yang belum terpecahkan sejak tahun 1972.
Masalahnya adalah ini Ketimpangan Korelasi Gaussian (GCI). Dikatakan:
Ketika dua bangun datar berpotongan, misalnya persegi panjang dan lingkaran, peluang mengenai salah satu permukaan yang berpotongan tersebut dengan panah akan meningkatkan peluang mengenai permukaan lainnya secara bersamaan.
Pada awalnya kedengarannya jelas – tetapi membuktikannya secara matematis sangatlah sulit.
Matematikawan terkenal telah gagal dalam menyelesaikan soal ini
“Saat saya masih menjadi ahli matematika muda yang sombong, saya terkejut bahwa pria dewasa yang menampilkan diri mereka sebagai ahli matematika dan ilmuwan yang dihormati tidak mengetahui jawaban atas masalah ini,” kata ahli matematika Universitas Virginia Loren Pitt dalam sebuah wawancara dengan “Majalah Kuanta“aktif. “Lima tahun kemudian saya masih belum tahu jawabannya.”
Donald Richard, ahli statistik di Pennsylvania State University, setuju: “Saya mengenal banyak orang yang telah mengerjakan hal ini selama 40 tahun. Saya mengerjakannya sendiri selama 30 tahun.”
Thomas Royen menemukan solusinya – dan tidak ada yang menyadarinya
Pensiunan dan mantan ahli statistik Jerman Thomas Royen akhirnya menemukan solusi bagaimana teori… Ketimpangan korelasi Gaussian dapat dibuktikan. Pada 17 Juli 2014. Dia pernah bekerja di sebuah perusahaan farmasi dan kemudian bekerja sebagai ahli statistik di sebuah universitas teknik kecil di Bingen. Dia telah mengerjakan formula untuk mempermudah pekerjaan ahli statistik sejak tahun 1985 dan terus melakukannya bahkan setelah dia pensiun. Dan ketika dia harus mengakses prinsip GCI, tiba-tiba muncul ide di benaknya:
“Dia menyadari bagaimana membuat pengurangan yang penting fungsinya dihitung untuk GCI ini. Dan ini memberikan bukti bagi teori tersebut,” tulis penulis “Quanta” Natalie Wolchover.
“Draf pertama saya ditulis malam itu,” ungkap Royen Wolchover. Dia kemudian mengetik semuanya dalam dokumen Word dan menerbitkannya di arXiv.org pada tahun 2015.
Banyak ahli matematika mempublikasikan hasil yang salah
Terlepas dari temuannya yang inovatif, para ahli matematika lainnya tetap skeptis, karena upaya telah dilakukan berkali-kali Ketimpangan korelasi Gaussian harus dibuktikan – dan “solusi” selalu salah.
Matematikawan Bo’az Klartag dari Weizmann Institute of Science dan Universitas Tel Aviv di Israel menerima bukti Royan pada tahun 2015 – dengan dua dugaan “bukti” lainnya dari ahli matematika lainnya. Karya pertama yang dibaca Klartag cacat, sehingga ia tidak membaca karya lainnya sama sekali.
Hal ini sepertinya tidak terlalu mengganggu Royan: “Saya sudah terbiasa sering diabaikan oleh para ilmuwan dari universitas-universitas terbaik Jerman,” ujarnya dalam wawancara. “Saya tidak pandai berjejaring. Saya tidak membutuhkan hal-hal ini untuk kualitas hidup saya.”
Karyanya kini akhirnya diakui
Akhirnya matematikawan Polandia Rafał Latała dan muridnya Dariusz Matlak mampu menarik perhatian publik terhadap karya Royen. Mereka menulis ulang karya Royen dan menerbitkannya kembali. Mereka menulis di dalamnya:
“Tujuan dari penelitian ini adalah untuk memberikan bukti luar biasa secara independen ketimpangan korelasi Gaussian oleh Thomas Royen. Meskipun metodenya cukup sederhana dan mendasar, kami menemukan bahwa metode aslinya tidak begitu mudah untuk dipahami. (…)
Kami memutuskan untuk mengatur ulang sebagian bukti Royan, membatasi semuanya pada kasus Gaussian dan menambahkan beberapa detail yang hilang. Kami berharap pembaca yang lebih luas dapat mengapresiasi hasil luar biasa Royen.”
Dan mereka bisa: Kini akhirnya diakui di kalangan matematika bahwa bukti Royen memang benar. Masih ada pertanyaan yang belum terjawab, namun pertanyaan terbesarnya adalah: Bagaimana kita bisa mengabaikan solusinya begitu lama di era Internet?
“Ini jelas merupakan kurangnya komunikasi, di era di mana komunikasi sebenarnya cukup mudah,” kata ahli matematika Klartag kepada “Quanta.” “Tapi kami menemukannya – dan itu indah.”
Penggemar matematika dapat melihat bukti Royen Lihat disini.