Bab 235 – Membuktikan Dugaan!

Bab 235: Membuktikan Dugaan!

Baca di meionove.id jangan lupa donasi

Langit bersinar terang di luar jendela.

Lu Zhou sedang tidur di mejanya. Dia perlahan membuka matanya.

Dia menggosok alisnya yang sakit dan melihat kalender di sudut mejanya.

Ini sudah bulan Mei…

Lu Zhou mengalami sedikit sakit kepala dan dia menggelengkan kepalanya.

Sejak tiba di Princeton pada bulan Februari, dia telah menghabiskan hampir separuh waktunya di apartemen kecil ini. Selain pergi berbelanja, dia pada dasarnya tidak meninggalkan ruangan.

Yang lebih buruk adalah keanggotaan klub makanannya yang bernilai $5.000 USD. Dia baru saja menggunakannya.

Setelah menerima misi, dia telah menantang dugaan Goldbach selama hampir setengah tahun.

Akhirnya ada hasil.

Lu Zhou menarik napas dalam-dalam dan berdiri.

Dia hampir mencapai garis finis dan dia tidak perlu terburu-buru lagi.

Lu Zhou pergi ke dapur dan membuat camilan untuk dirinya sendiri. Dia bahkan mengeluarkan sebotol sampanye dari kulkas dan menuangkan segelas untuk dirinya sendiri.

Dia membeli sampanye ini dua bulan lalu hanya untuk saat ini.

Lu Zhou diam-diam menghabiskan makanannya. Dia kemudian pergi untuk mencuci tangannya sebelum kembali ke mejanya. Dia mulai menghentikan pekerjaannya.

Dia mulai melanjutkan di mana dia tinggalkan.

[… Jelas, kami memiliki Px(1,1)≥P(x,x^{1/16})-(1/2)∑Px(x,p,x)-Q/2-x^(log4 ) …(30)]

[Dari persamaan (30), Lemma 8, Lemma 9, Lemma 10, dapat dibuktikan bahwa teorema 1 berlaku.]

Yang disebut teorema 1 adalah ekspresi matematis dari dugaan Goldbach dalam tesisnya.

Artinya, diberikan bilangan genap N yang cukup besar, ada dua bilangan prima P1 dan P2 yang memenuhi N = P1 + P2.

Teorema serupa adalah teorema Chen N = P1 + P2.P3, ada serangkaian teorema tentang P(a,b).

Tentu saja, meskipun ia menyebut ini sebagai teorema 1 dalam tesisnya, tidak lama kemudian komunitas matematika menerima buktinya. Setelah itu, dapat ditingkatkan menjadi “teorema Lu Zhou” atau semacamnya.

Namun, proses peninjauan untuk jenis dugaan besar ini lebih lama.

Bukti Perelman tentang dugaan Poincaré membutuhkan waktu tiga tahun untuk diakui oleh komunitas matematika. Bukti dugaan itu dipenuhi dengan banyak “istilah misterius”. Oleh karena itu, sulit bagi siapa pun kecuali dia untuk memahami tesis.

Kecepatan di mana dugaan utama ditinjau sebagian besar tergantung pada popularitas dugaan.

Ketika Lu Zhou membuktikan dugaan utama kembar, dia tidak menggunakan teori yang sangat baru. Dia hanya menggunakan metode prima kembar yang disebutkan dalam tesis Zellberg tahun 1995. Karena itu, orang-orang dengan cepat memahami buktinya.

Namun, untuk tesis konjektur Polignac, proses peninjauannya memakan waktu lama.

Meskipun Lu Zhou menggunakan Metode Struktur Kelompoknya yang sudah terbukti, dia membuat modifikasi yang signifikan dan itu menjadi sangat berbeda dari metode saringan besar. Bahkan untuk nama besar seperti Deligne, butuh waktu lama untuk mengulasnya.

Lu Zhou menulis lima puluh halaman untuk tesis dugaan Goldbach. Separuhnya adalah membahas kerangka teori yang ia bangun untuk pembuktian.

Bagian ini dapat diterbitkan sebagai tesis tersendiri.

Untuk sebagian besar, proses peninjauannya bergantung pada minat orang lain dalam pekerjaannya, dan bagaimana menerima orang lain.

Adapun berapa lama waktu yang dibutuhkan, itu di luar kendalinya.

Sebenarnya, Lu Zhou memikirkan kriteria sistem untuk menyelesaikan misi.

Jika dia menyelesaikan buktinya, tetapi selama beberapa dekade, tidak ada yang menerima pekerjaannya, apakah dia akan terjebak pada misi yang satu ini?

Yang paling membuatnya bingung adalah dari mana database besar sistem itu berasal. Itu pasti berasal dari peradaban yang jauh lebih maju dari manusia.

Lu Zhou merasa sistem akan membuat penilaiannya sendiri apakah dia membuktikan dugaannya atau tidak. Sistem tidak akan bergantung pada “manusia”.

Kesimpulan Lu Zhou adalah bahwa penyelesaian misinya akan bergantung pada dua faktor.

Yang pertama adalah kebenaran.

Yang kedua adalah penerbitan!

Sebenarnya, ada cara yang sangat sederhana untuk memverifikasi apakah buktinya benar.

Dia tidak harus mempublikasikan di jurnal…

…

Setelah membuktikan dugaan Goldbach, Lu Zhou menghabiskan tiga hari penuh menyortir tesis ke komputernya. Dia mengubahnya menjadi format PDF dan mengunggahnya ke arXiv.

Dia hampir yakin bahwa tesisnya benar karena kebiasaannya melakukan pemeriksaan ganda yang ketat pada setiap baris kesimpulan. Dia akan berulang kali meneliti semua kemungkinan kesalahan.

Sedangkan untuk penerbitan…

ArXiv tidak memiliki proses peer-review, jadi tidak diragukan lagi ini adalah pilihan tercepat!

Satu-satunya kelemahan adalah bahwa hal itu bisa bertentangan dengan pengiriman ke jurnal lain. Misalnya, mengunggah tesis sebelum batas waktu mungkin melanggar beberapa aturan pengajuan ganda, tetapi Lu Zhou tidak peduli dengan hal itu. Dia juga percaya bahwa jurnal terkemuka juga tidak akan peduli.

Lagipula, Lu Zhou bukanlah pria tanpa nama. Dia adalah pemenang Hadiah Cole dalam Teori Bilangan. Ditambah tesisnya bukan pekerjaan acak. Itu adalah dugaan Goldbach yang terkenal, pertanyaan kedelapan dari Hilbert 23, yang merupakan salah satu dari Masalah Hadiah Milenium!

Dia akan menghabiskan dua hari berikutnya untuk mengedit dan mengatur tesisnya. Setelah itu, dia akan menyerahkannya ke [Matematika Tahunan].

Ketika teorema terakhir Fermat pertama kali dibuktikan, dibutuhkan enam peer reviewer untuk memeriksa buktinya. Lu Zhou tidak tahu berapa banyak pengulas yang dia jamin, tetapi seharusnya tidak kurang dari empat.

Lu Zhou melihat pesan “unggah selesai” di browsernya dan menarik napas dalam-dalam.

Apakah ini berarti saya sudah menyelesaikannya?

Setelah publikasi tesisnya, seseorang di bidang ini menerima peringatan. Di suatu tempat di planet ini, seseorang sudah membaca tesisnya.

Namun, Lu Zhou tidak tahu apakah sistem menghitung ini sebagai pengiriman yang berhasil.

Lu Zhou duduk di depan komputer dan menarik napas dalam-dalam. Dia kemudian menutup matanya dan berbisik.

“Sistem.”

Ketika dia membuka matanya lagi, dia bertemu dengan pemandangan putih bersih.

Sudah lama sejak dia datang ke sini. Lu Zhou hampir merasa tidak nyaman.

Dia berjalan ke layar informasi semi-transparan dan mengklik panel misi.

Dia akan melihat apakah misinya selesai …

Dia juga bisa memverifikasi apakah proses berpikirnya benar.

Tunggu sebentar…

Lu Zhou menyadari masalah.

Jika sistem tidak merespons, itu berarti tebakannya tentang proses evaluasi misi sistem salah atau tesisnya salah.

Sistem tidak memberinya waktu untuk berpikir.

Suara notifikasi berbunyi.

Kemudian, sebaris teks muncul.

[Selamat, Pengguna, untuk penyelesaian misi!]