Sebuah bukti yang dihasilkan oleh kecerdasan buatan dan diumumkan awal bulan ini sebagai bagian dari 377 hasil matematika turunan AI berhasil memenangkan hati para ahli manusia yang telah menghabiskan dua minggu terakhir untuk membongkarnya. Menulis pada tanggal 19 Oktober, Majalah Quanta melaporkan bahwa para ahli teori bilangan kini telah membongkar bukti hipotesis kuasi-Riemann yang dihasilkan AI – versi hipotesis Riemann yang lebih lemah, bisa dibilang merupakan pertanyaan terbuka terbesar dalam matematika – dan keputusan mereka sangat tegas.
Jared Duker Lichtman dari Universitas Stanford menyebutnya sebagai "pencapaian AI untuk matematika yang paling signifikan sejauh ini, dengan selisih yang cukup besar." Maksym Radziwiłł dari Universitas New York, yang karyanya mendasari sebagian bukti, menggambarkan implikasinya sebagai hal yang "mengejutkan". For more context on this story, see our ongoing AI industry coverage.
Apa yang Diklaim Hipotesis Quasi-Riemann
Hipotesis Riemann telah ditemukan selama lebih dari 160 tahun. Ini menyangkut fungsi Riemann zeta dan lokasi angka nol nontrivialnya, dan ini terkait erat dengan bagaimana bilangan prima didistribusikan di antara bilangan bulat. Karena bilangan prima adalah bahan penyusun aritmatika, pembuktian akan membentuk kembali bidang teori bilangan yang luas.
Hipotesis ini adalah salah satu dari tujuh Masalah Hadiah Milenium yang dinamai oleh Clay Mathematics Institute, dan merupakan satu-satunya masalah yang dibawa dari daftar 23 masalah terkenal David Hilbert yang diumumkan satu abad sebelumnya.
Kerangka teknisnya, seperti yang diungkapkan Quanta, telah dipetakan langkah demi langkah dari generasi ke generasi. Riemann menunjukkan pada tahun 1859 bahwa angka nol nontrivial dari fungsi zeta mengatur bagaimana bilangan prima menipis di sepanjang garis bilangan, dan membuktikan bahwa bilangan prima hanya dapat berada di dalam garis vertikal dengan bagian real dari masukannya terletak di antara nol dan satu. Pada tahun 1896, dua ahli matematika secara independen menunjukkan bahwa tidak ada angka nol yang terletak di tepi kanan garis — hasil yang cukup kuat untuk membuktikan teorema bilangan prima. Hipotesisnya sendiri mengatakan semua angka nol nontrivial berada tepat di garis tengah garis, dimana bagian sebenarnya sama dengan setengahnya. Angka nol sepele pada bilangan bulat genap negatif sudah dipahami sepenuhnya. Upaya lebih dari 160 tahun telah mempersempit dan menyelidiki jalur tersebut tanpa pernah menemukan titik nol.
Hipotesis kuasi-Riemann, atau kuasi-RH, adalah pernyataan yang sangat lemah. Meski begitu, konsekuensinya mencapai hampir sama. “Dalam arti tertentu, sebagian besar konsekuensi dari Kesehatan Reproduksi sudah timbul dari kuasi-RH,” kata Radziwiłł kepada Quanta.
Dari Pengumuman hingga Verifikasi
Hasilnya pertama kali muncul pada tanggal 6 Oktober, ketika OpenAI mengumumkan 377 hasil matematika yang diperoleh dengan sistem AI-nya. Di kalangan ahli matematika profesional, pengumuman tersebut pada awalnya ditanggapi dengan skeptisisme – sistem AI sebelumnya telah menghasilkan bukti-bukti yang diklaim namun gagal di bawah pengawasan para ahli, dan verifikasi telah lama menjadi hambatan yang memisahkan matematika yang dihasilkan AI dari matematika yang diterima.
Menurut laporan Quanta, bukti ini berbeda: tidak seperti bukti AI terbaru lainnya, bukti ini telah dibongkar oleh para ahli manusia. Ahli teori bilangan termasuk Radziwiłł, Alexander Dunn dari Institut Teknologi Georgia, dan lainnya telah mempelajari argumen tersebut sejak pengumuman tersebut, memeriksa langkah-langkahnya dan menempatkannya dalam pengetahuan yang ada.
Pemeriksaan telah dilakukan. “Buktinya adalah sintesis mengejutkan dari ide-ide terkenal,” kata Dunn, yang bersama Radziwiłł memelopori teknik yang sebagian bergantung pada hasil.
Ide Lama, Koneksi Tersembunyi
Mungkin aspek yang paling mencolok dari pembuktian ini, kata para ahli matematika kepada Quanta, adalah apa yang tidak diperlukan. Bertentangan dengan ekspektasi bahwa penyelesaian hipotesis Riemann yang lemah sekalipun akan memerlukan mesin baru secara fundamental, bukti yang dihasilkan AI tidak memperkenalkan konsep baru. Sebaliknya, ia menggali hubungan tersembunyi antara teknik yang sudah ada, menggabungkan teknik dengan cara yang belum pernah dilakukan manusia sebelumnya.
Pola tersebut – kebaruan melalui sintesis tak terduga dan bukan melalui teori baru – muncul sebagai ciri khas penemuan matematika yang dibantu AI, dan hal ini mendorong para peneliti untuk mempertimbangkan kembali di mana kontribusi mesin terhadap matematika kemungkinan besar akan terjadi terlebih dahulu.
Mengapa Penting untuk Riset AI
Hasil yang terverifikasi ini merupakan tonggak sejarah bagi AI untuk matematika, sebuah bidang yang telah berkembang pesat seiring dengan peningkatan model penalaran. Pengumuman OpenAI pada tanggal 6 Oktober, yang kami bahas ketika Institute for Advanced Study mengajukan pertanyaan tentang kumpulan hasil, merupakan klaim tunggal terbesar dari matematika turunan AI hingga saat ini. Bukti kuasi-RH adalah hasil pertama dari kelompok tersebut yang menerima pembacaan ahli secara mendetail, dan bukti tersebut masih bertahan.
Untuk laboratorium AI, episode ini menunjukkan alur kerja yang mungkin menjadi standar: model menghasilkan bukti kandidat dalam skala besar, dan pakar manusia melakukan triase, memverifikasi, dan menyerap hasil yang penting. Bagi ahli matematika, konsekuensi langsungnya lebih sempit namun nyata - serangkaian konsekuensi hipotesis Riemann yang tidak lagi memerlukan dugaan penuh untuk dapat dipertahankan.
Quanta mencatat bahwa para ahli matematika baru mulai memahami arti pembuktian di lapangan. Seperti yang dikatakan Radziwiłł, implikasinya "mengejutkan" - sebuah kata sifat yang jarang dikaitkan dengan hasil yang tidak memenuhi hipotesis penuh.
Episode ini juga menjadi tolok ukur untuk klaim di masa depan. Lab AI mana pun yang mengumumkan terobosan matematika kini akan diukur berdasarkan kuasi-RH: hasil yang diklaim telah diperiksa, diverifikasi, dan diterima oleh para ahli yang memiliki posisi terbaik untuk membantahnya.
Semua ini tidak menyelesaikan hipotesis Riemann itu sendiri. Dugaan penuh masih terbuka, dan kuasi-RH lebih lemah. Namun untuk pertama kalinya, sistem AI telah menghasilkan bukti terdepan dalam teori bilangan analitik yang telah dibongkar dan didukung oleh para ahli terkemuka di bidang tersebut – sebuah fakta yang mungkin bisa menjelaskan masa depan penelitian matematika seperti halnya teorema itu sendiri.
Artikel ini berdasarkan pemberitaan Majalah Quanta yang terbit 19 Oktober 2026.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
